[ jEdit-commits ] [jEdit-daily] BufferTabs (#17) - Successful!

[<el...@gm...>]

BufferTabs (#17) - Successful:

Changes for Build #17
[shlomy] Check that the current UI class can be extended before running the beanshell code that extends it.

[shlomy] Allow "do not stretch tabs to fill in rows" to be changed at runtime and affect the current tabbed pane layout.
This caused a problem in versions of java before 6u10.

[shlomy] Moved the code handling the "do not stretch tabs" option to the constructor, since it sets the UI and shouldn't be called again when the property is changed.




Artifacts can be downloaded here:
http://www.tellurianring.com/projects/jedit-daily/index.php?dir=BufferTabs