Ticket #4445: 0001-skin-julia256.ini-Minor-improvements.patch

File 0001-skin-julia256.ini-Minor-improvements.patch, 1.8 KB (added by proski, 16 months ago)

Patch

  • misc/skins/julia256.ini

    From c8ebf8408d108181fdc95c288552d0a43684c449 Mon Sep 17 00:00:00 2001
    From: Pavel Roskin <plroskin@gmail.com>
    Date: Fri, 17 Feb 2023 15:05:54 -0800
    Subject: [PATCH] skin julia256.ini: Minor improvements
    
    Set "errdhotfocus" to a higher contrast color combination. Yellow is barely
    visible on lightgray. The cursor stands on the the focused hotkey. If the
    cursor is an underscore, the high contrast is obviously needed. If the focus
    is a full box, it normally inverts both the background and the foreground, so
    poor contrast remains poor. Red on lightgray is consistent with other colors
    of the skin.
    
    Set "menutitle" to yellow on blue. Otherwise, the title is not
    distinguishable from the menu entries. Both "parent" skins, default and
    xoria256, use distinctive color for the popup menu title.
    
    Set "editrightmargin" to the same color as the panels. White on blue is
    extremely distracting in contrast to black background to the left of the
    margin.
    ---
     misc/skins/julia256.ini | 6 +++---
     1 file changed, 3 insertions(+), 3 deletions(-)
    
    diff --git a/misc/skins/julia256.ini b/misc/skins/julia256.ini
    index e942fc615..18ed248a4 100644
    a b  
    5555    _default_ = white;red 
    5656    errdfocus = black;lightgray 
    5757    errdhotnormal = yellow;red 
    58     errdhotfocus = yellow;lightgray 
     58    errdhotfocus = red;lightgray 
    5959    errdtitle = yellow;red 
    6060 
    6161[filehighlight] 
     
    8585[popupmenu] 
    8686    _default_ = lightgray;blue 
    8787    menusel = black;cyan 
    88     menutitle = lightgray;blue 
     88    menutitle = yellow;blue 
    8989 
    9090[buttonbar] 
    9191    hotkey = red;lightgray 
     
    110110    editlinestate = white;cyan 
    111111    bookmark = white;red 
    112112    bookmarkfound = black;green 
    113     editrightmargin = white;blue 
     113    editrightmargin = lightgray;color237 
    114114#    editbg = 
    115115    editframe = gray; 
    116116    editframeactive = lightgray;