dockableWindowManager.add(editPane,BorderLayout.CENTER);
	View(Buffer buffer)	{		setIconImage(GUIUtilities.getEditorIcon());		dockableWindowManager = new DockableWindowManager(this);		// Dynamic menus		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");		editPane = createEditPane(null,buffer);		updateMarkerMenus();		updateMacrosMenu();		updatePluginsMenu();		updateHelpMenu();		EditBus.addToBus(this);		JMenuBar menuBar = GUIUtilities.loadMenuBar(this,"view.mbar");		menuBar.add(Box.createGlue());		menuBar.add(new MiniIOProgress());		menuBar.add(recording = new JLabel());		setJMenuBar(menuBar);		toolBars = new Box(BoxLayout.Y_AXIS);		inputHandler = new DefaultInputHandler(this,(DefaultInputHandler)			jEdit.getInputHandler());		propertiesChanged();		getContentPane().add(BorderLayout.NORTH,toolBars);		getContentPane().add(BorderLayout.CENTER,dockableWindowManager);		setDefaultCloseOperation(DO_NOTHING_ON_CLOSE);		addWindowListener(new WindowHandler());		dockableWindowManager.init();	}