= Issue 2668434 == Short Description fullscreen-mode == Long Description A fullscreen mode for jEdit would be very nice. Especially on netbooks with limited screen-size it is useful, to get rid of the titlebar and window-borders. == Feature Description % BASE The editor window of jEdit has a menu bar, a tool bar, and borders. % CORE The new feature enlarges an editor window to full screen and hides its menu bar, a tool bar, and borders when the F11 key is pushed. Pushing the F11 key again in full screen mode transforms the window to a regular window mode. The General Options dialog allows users to enable menu, tool, and status bars in full screen mode. ![Fullscreen Mode](task2-2668434.png) % TASK Please locate all methods added or modified for the new feature. ``Method'' does NOT include class declaration, abstract methods without method body, and static initializers of classes. == Gold Set org.gjt.sp.jedit.View.View(Buffer,ViewConfig) org.gjt.sp.jedit.View.propertiesChanged() org.gjt.sp.jedit.View.toggleFullScreen() org.gjt.sp.jedit.View.updateFullScreenProps() org.gjt.sp.jedit.options.ViewOptionPane._init() org.gjt.sp.jedit.options.ViewOptionPane._save()