Project: jEdit

Revision: 13528

Author: kpouer

Date: 04 Sep 2008 18:14:01

• /jEdit/trunk/org/gjt/sp/jedit/jEdit.java

  ......	@@ -2242,18 +2242,6 @@
  2242	2242	return newView(view,buffer,config);
  2243	2243	}
  2244	2244
  2245		private static class DockingLayoutSetter implements Runnable {
  2246		private View view;
  2247		private ViewConfig config;
  2248		public DockingLayoutSetter(View view, ViewConfig config) {
  2249		this.view = view;
  2250		this.config = config;
  2251		}
  2252		public void run() {
  2253		DockableWindowManager wm = view.getDockableWindowManager();
  2254		wm.setDockingLayout(config.docking);
  2255		}
  2256		}
  2257	2245	/**
  2258	2246	* Creates a new view.
  2259	2247	* @param view An existing view
  ......	@@ -4116,5 +4104,24 @@
  4116	4104	}
  4117	4105	} //}}}
  4118	4106
  	4107	//{{{ DockingLayoutSetter class
  	4108	private static class DockingLayoutSetter implements Runnable
  	4109	{
  	4110	private View view;
  	4111	private ViewConfig config;
  	4112
  	4113	DockingLayoutSetter(View view, ViewConfig config)
  	4114	{
  	4115	this.view = view;
  	4116	this.config = config;
  	4117	}
  	4118
  	4119	public void run()
  	4120	{
  	4121	DockableWindowManager wm = view.getDockableWindowManager();
  	4122	wm.setDockingLayout(config.docking);
  	4123	}
  	4124	} //}}}
  	4125
  4119	4126	private static final JEditPropertyManager propertyManager = new JEditPropertyManager();
  4120	4127	}