[ jEdit-devel ] Background colors for selection, highlighting etc.

[<Kli...@t-...>]

Hi Slava,

for things like selection, highlighting of matching elements etc. (on 
option pane "Text Area") it would be nice to be able to define the 
foreground color (for the font) and the background color generally. 
Sometimes I find the box around the matching element to be a bit too 
tiny to be recognized. Another idea regarding the same topic was to 
highlight the background between the current bracket and the matching 
element (I wrote a mail a short time ago).

That should give the user more flexibility. It's just an idea for a 
simple improvement to the great text area UI.

Alex

-- 
Alexander Klimetschek

<kli...@t-...>

----------------------------------------------------
Get Firefox: http://www.mozilla.org/products/firefox
----------------------------------------------------