[ jEdit-commits ] SF.net SVN: jedit:[20263] jEdit/branches/4.5.x

[<ez...@us...>]

Revision: 20263
          http://jedit.svn.sourceforge.net/jedit/?rev=20263&view=rev
Author:   ezust
Date:     2011-11-08 21:47:13 +0000 (Tue, 08 Nov 2011)
Log Message:
-----------
Restart no longer required for L&F changes.

Modified Paths:
--------------
    jEdit/branches/4.5.x/doc/users-guide/customizing.xml
    jEdit/branches/4.5.x/org/gjt/sp/jedit/options/AppearanceOptionPane.java

Property Changed:
----------------
    jEdit/branches/4.5.x/


Property changes on: jEdit/branches/4.5.x
___________________________________________________________________
Modified: svn:mergeinfo
   - /jEdit/branches/docking_framework:13128-13258
/jEdit/trunk:20117,20132,20250,20254
   + /jEdit/branches/docking_framework:13128-13258
/jEdit/trunk:20117,20132,20250,20254,20262

Modified: jEdit/branches/4.5.x/doc/users-guide/customizing.xml
===================================================================
--- jEdit/branches/4.5.x/doc/users-guide/customizing.xml	2011-11-08 21:46:07 UTC (rev 20262)
+++ jEdit/branches/4.5.x/doc/users-guide/customizing.xml	2011-11-08 21:47:13 UTC (rev 20263)
@@ -261,9 +261,6 @@
             retained in history text fields can also be set here; see
             <xref linkend="history" />.</para>
 
-            <para>Note that changes to certain settings such as the Swing look
-            and feel and the docking framework require a restart of jEdit to
-            take effect.</para>
         </section>
 
 

Modified: jEdit/branches/4.5.x/org/gjt/sp/jedit/options/AppearanceOptionPane.java
===================================================================
--- jEdit/branches/4.5.x/org/gjt/sp/jedit/options/AppearanceOptionPane.java	2011-11-08 21:46:07 UTC (rev 20262)
+++ jEdit/branches/4.5.x/org/gjt/sp/jedit/options/AppearanceOptionPane.java	2011-11-08 21:47:13 UTC (rev 20263)
@@ -54,7 +54,7 @@
 	protected void _init()
 	{
 		/* Look and feel */
-		addComponent(new JLabel(jEdit.getProperty("options.appearance.lf.note")));
+//		addComponent(new JLabel(jEdit.getProperty("options.appearance.lf.note")));
 
 		lfs = UIManager.getInstalledLookAndFeels();
 		String[] names = new String[lfs.length];

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