dockableWindowManager.add(BorderLayout.CENTER,editPane);
	View(Buffer buffer)	{		setIconImage(GUIUtilities.getEditorIcon());		dockableWindowManager = new DockableWindowManager(this);		editPane = createEditPane(null,buffer);		dockableWindowManager.add(BorderLayout.CENTER,editPane);		// Dynamic menus		buffers = GUIUtilities.loadMenu(this,"buffers");		recent = GUIUtilities.loadMenu(this,"recent-files");		currentDirectory = new CurrentDirectoryMenu(this);		clearMarker = GUIUtilities.loadMenu(this,"clear-marker");		gotoMarker = GUIUtilities.loadMenu(this,"goto-marker");		macros = GUIUtilities.loadMenu(this,"macros");		help = GUIUtilities.loadMenu(this,"help-menu");		plugins = GUIUtilities.loadMenu(this,"plugins");		updateMacrosMenu();		updateHelpMenu();		updatePluginsMenu();		EditBus.addToBus(this);		setJMenuBar(GUIUtilities.loadMenuBar(this,"view.mbar"));		toolBars = new Box(BoxLayout.Y_AXIS);		inputHandler = new DefaultInputHandler(this,(DefaultInputHandler)			jEdit.getInputHandler());		propertiesChanged();		getContentPane().add(BorderLayout.NORTH,toolBars);		getContentPane().add(BorderLayout.CENTER,dockableWindowManager);		status = new StatusBar(this);		getContentPane().add(BorderLayout.SOUTH,status);		setDefaultCloseOperation(DO_NOTHING_ON_CLOSE);		addWindowListener(new WindowHandler());		dockableWindowManager.init();	}