Implemented feature request #2668434: fullscreen-mode.
The implementation may be partial; the menu bar, tool bar and status bar are currently visible in full-screen mode, where usually the intention is to show only the text area.

Fullscreen mode is toggled using the action "toggle-full-screen", with a default shortcut of F11.

git-svn-id: svn://svn.code.sf.net/p/jedit/svn/jEdit/trunk@14799 6b1eeb88-9816-0410-afa2-b43733a0f04e
minor fix to full screen mode to work with multiple screen devices

git-svn-id: svn://svn.code.sf.net/p/jedit/svn/jEdit/trunk@14803 6b1eeb88-9816-0410-afa2-b43733a0f04e
Added options to include or exclude any of the following in full-screen mode: menu bar, toolbars, status bar.

git-svn-id: svn://svn.code.sf.net/p/jedit/svn/jEdit/trunk@14804 6b1eeb88-9816-0410-afa2-b43733a0f04e
(Hopefully) Fixed bug #2671628: perspective.xml not saved on exit
The startupDone vector is used to find out when all views have been laid out. The DockableLayoutSetter class is used to defer layout of all views loaded from perspective.xml to the AWT thread. Each instance lays out a different view, and marks in the startupDone vector when done. This was done in order to eliminate false dependencies between the various setters, but the index provided to each layout setter was based on the view count, which, in rare situations may be incorrect.
Changed the index to use the number of items in the startupDone vector, protecting it with "synchronized" to ensure no two instances get the same index.

git-svn-id: svn://svn.code.sf.net/p/jedit/svn/jEdit/trunk@14805 6b1eeb88-9816-0410-afa2-b43733a0f04e
Fixed names of properties which specify what elements to include in full-screen mode.

git-svn-id: svn://svn.code.sf.net/p/jedit/svn/jEdit/trunk@14806 6b1eeb88-9816-0410-afa2-b43733a0f04e
Added the toggle-full-screen action to the View menu and added a label for it.

git-svn-id: svn://svn.code.sf.net/p/jedit/svn/jEdit/trunk@14809 6b1eeb88-9816-0410-afa2-b43733a0f04e
if anyone dislikes the change they should know who to blame

git-svn-id: svn://svn.code.sf.net/p/jedit/svn/jEdit/trunk@14823 6b1eeb88-9816-0410-afa2-b43733a0f04e
Fixed the restoring of the menu bar when exiting fullscreen mode.

git-svn-id: svn://svn.code.sf.net/p/jedit/svn/jEdit/trunk@14826 6b1eeb88-9816-0410-afa2-b43733a0f04e
Added notes about recent commits I made.

git-svn-id: svn://svn.code.sf.net/p/jedit/svn/jEdit/trunk@14828 6b1eeb88-9816-0410-afa2-b43733a0f04e
Apply changes to the global options affecting full screen mode immediately.

git-svn-id: svn://svn.code.sf.net/p/jedit/svn/jEdit/trunk@14829 6b1eeb88-9816-0410-afa2-b43733a0f04e
Add new constructor to OptionsDialog.OptionsTreeModel, needed for a new ProjectViewer feature I'm working on.

git-svn-id: svn://svn.code.sf.net/p/jedit/svn/jEdit/trunk@14832 6b1eeb88-9816-0410-afa2-b43733a0f04e
Fixed the visibility of the menu bar when toggling full screen mode.

git-svn-id: svn://svn.code.sf.net/p/jedit/svn/jEdit/trunk@14841 6b1eeb88-9816-0410-afa2-b43733a0f04e
removed unused code and fixed indentation

git-svn-id: svn://svn.code.sf.net/p/jedit/svn/jEdit/trunk@14851 6b1eeb88-9816-0410-afa2-b43733a0f04e
php.xml: PHPDOC: Do no delegate HTML tags to xml::TAGS, which fails miserable when '<' is used.


git-svn-id: svn://svn.code.sf.net/p/jedit/svn/jEdit/trunk@14852 6b1eeb88-9816-0410-afa2-b43733a0f04e
Fixed bug #2712031: Index out of bounds exception in FilteredListModel
The list selection is saved at the beginning of setFilter, in order to restore it after changing the list (by filtering). But the selection isn't explicitly cleared, so in case the items selected were filtered out, the selection won't be changed, leading to selection of non-existent indices.

git-svn-id: svn://svn.code.sf.net/p/jedit/svn/jEdit/trunk@14853 6b1eeb88-9816-0410-afa2-b43733a0f04e
Documented fix for Out Of Bounds exception in FilteredListModel.

git-svn-id: svn://svn.code.sf.net/p/jedit/svn/jEdit/trunk@14854 6b1eeb88-9816-0410-afa2-b43733a0f04e
Fixed the handling of "single interval" selection mode in the filtered list model.
In this mode, any call to "setSelectionInterval" removes all previous selections, keeping only the current one. Using "setSelectionInterval" for each item thus leaves only the last item selected.

git-svn-id: svn://svn.code.sf.net/p/jedit/svn/jEdit/trunk@14857 6b1eeb88-9816-0410-afa2-b43733a0f04e
Added __DIR__ macros (just trying to commit smth)

git-svn-id: svn://svn.code.sf.net/p/jedit/svn/jEdit/trunk@14884 6b1eeb88-9816-0410-afa2-b43733a0f04e
git-svn-id: svn://svn.code.sf.net/p/jedit/svn/jEdit/trunk@14885 6b1eeb88-9816-0410-afa2-b43733a0f04e
php.xml: minor fixes/improvements

git-svn-id: svn://svn.code.sf.net/p/jedit/svn/jEdit/trunk@14886 6b1eeb88-9816-0410-afa2-b43733a0f04e