[ jEdit-devel ] visually differentiate between active and inactive views

[Stefan K. <s....@we...>]

Hi Slava,

can you allow the user to change the background color for inactive text
views (to e.g. a slightly darker color). This would give you an
immediate clue which view has the focus (no need to search for the
cursor). I know that the gutter divider already provides such a clue.
So using a one-pixel border around the whole view would be a different
possibillity. Anyway I prefer the background color.

Stefan
-- 

 < W E B M A C H E R > 
EDV+INTERNETSERVICE GMBH

FON:  +49 341 30766 101
WEB:  www.webmacher.de