[ jEdit-users ] Re: Increasing File Drop-Down Box Height

[<gal...@at...>]

Slava,

Using jEdit 4.03, the Beanshell command..

jEdit.setIntegerProperty
("bufferSwitcher.maxRowCount",20);

was evaluated as instructed.  After exiting jEdit and 
starting jEdit again, the bufferSwitcher.maxRowCount is 
still 10.  Tried it several times.  Is there another way 
to restart, or to be sure the setting is saved before 
exiting?

thanks for the help
---------------------------
>Invoke the 'Evaluate BeanShell Expression' command; 
enter
>jEdit.setIntegerProperty
("bufferSwitcher.maxRowCount",20);
>Or change 20 to any other number.
>Then restart jEdit.