[ jEdit-commits ] SF.net SVN: jedit:[14799] jEdit/trunk/org/gjt/sp/jedit

[<sh...@us...>]

Revision: 14799
          http://jedit.svn.sourceforge.net/jedit/?rev=14799&view=rev
Author:   shlomy
Date:     2009-03-19 21:28:35 +0000 (Thu, 19 Mar 2009)

Log Message:
-----------
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.

Modified Paths:
--------------
    jEdit/trunk/org/gjt/sp/jedit/View.java
    jEdit/trunk/org/gjt/sp/jedit/actions.xml
    jEdit/trunk/org/gjt/sp/jedit/jedit_keys.props

Modified: jEdit/trunk/org/gjt/sp/jedit/View.java
===================================================================
--- jEdit/trunk/org/gjt/sp/jedit/View.java	2009-03-19 11:50:45 UTC (rev 14798)
+++ jEdit/trunk/org/gjt/sp/jedit/View.java	2009-03-19 21:28:35 UTC (rev 14799)
@@ -30,6 +30,8 @@
 import java.awt.Cursor;
 import java.awt.Dimension;
 import java.awt.Frame;
+import java.awt.GraphicsDevice;
+import java.awt.GraphicsEnvironment;
 import java.awt.Rectangle;
 import java.awt.event.FocusAdapter;
 import java.awt.event.FocusEvent;
@@ -1321,6 +1323,7 @@
 	//{{{ View constructor
 	View(Buffer buffer, ViewConfig config)
 	{
+		fullScreenMode = false;
 		plainView = config.plainView;
 
 		enableEvents(AWTEvent.KEY_EVENT_MASK);
@@ -1369,6 +1372,29 @@
 		GUIUtilities.addSizeSaver(this, null, plainView ? "plain-view" : "view");
 	} //}}}
 
+	//{{{ toggleFullScreen() method
+	public void toggleFullScreen()
+	{
+		fullScreenMode = (! fullScreenMode);
+		GraphicsDevice sd = GraphicsEnvironment.
+			getLocalGraphicsEnvironment().getDefaultScreenDevice();
+		dispose();
+		if (fullScreenMode)
+		{
+			windowedBounds = getBounds();
+			setUndecorated(true);
+			setBounds(sd.getDefaultConfiguration().getBounds());
+			validate();
+			setVisible(true);
+		}
+		else
+		{
+			setUndecorated(false);
+			setBounds(windowedBounds);
+			setVisible(true);
+		}
+	} //}}}
+
 	//{{{ confirmToCloseDirty() methods
 	/**
 	 * If the view contains dirty buffers which will be closed on
@@ -1481,6 +1507,9 @@
 	private Socket waitSocket;
 	private Component mainContent;
 
+	private boolean fullScreenMode;
+	private Rectangle windowedBounds;
+
 	//}}}
 
 	//{{{ setMainContent() method

Modified: jEdit/trunk/org/gjt/sp/jedit/actions.xml
===================================================================
--- jEdit/trunk/org/gjt/sp/jedit/actions.xml	2009-03-19 11:50:45 UTC (rev 14798)
+++ jEdit/trunk/org/gjt/sp/jedit/actions.xml	2009-03-19 21:28:35 UTC (rev 14799)
@@ -1364,6 +1364,12 @@
 	</CODE>
 </ACTION>
 
+<ACTION NAME="toggle-full-screen">
+	<CODE>
+		view.toggleFullScreen();
+	</CODE>
+</ACTION>
+		
 <ACTION NAME="toggle-line-numbers">
 	<CODE>
 		textArea.getGutter().toggleExpanded();

Modified: jEdit/trunk/org/gjt/sp/jedit/jedit_keys.props
===================================================================
--- jEdit/trunk/org/gjt/sp/jedit/jedit_keys.props	2009-03-19 11:50:45 UTC (rev 14798)
+++ jEdit/trunk/org/gjt/sp/jedit/jedit_keys.props	2009-03-19 21:28:35 UTC (rev 14799)
@@ -112,6 +112,7 @@
 top-docking-area.shortcut=C+e C+UP
 right-docking-area.shortcut=C+e C+RIGHT
 bottom-docking-area.shortcut=C+e C+DOWN
+toggle-full-screen.shortcut=F11
 
 prev-marker.shortcut=C+e C+COMMA
 next-marker.shortcut=C+e C+PERIOD


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.