addWindowListener(new WindowHandler());
	View(View view, Buffer buffer)	{		setIconImage(GUIUtilities.getEditorIcon());		// 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);		quicksearch = new HistoryTextField("find");		Dimension dim = quicksearch.getPreferredSize();		dim.width = Integer.MAX_VALUE;		quicksearch.setMaximumSize(dim);		quicksearch.addActionListener(new ActionHandler());		quicksearch.addKeyListener(new KeyHandler());		textArea = new JEditTextArea();		// Add the line number display		textArea.add(JEditTextArea.LEFT_OF_SCROLLBAR,status = new StatusBar());		// Set up the right-click popup menu		textArea.setRightClickPopup(GUIUtilities			.loadPopupMenu(this,"view.context"));		textArea.setInputHandler(jEdit.getInputHandler().copy());		textArea.addCaretListener(new CaretHandler());		if(view == null)			propertiesChanged();		else			loadPropertiesFromView(view);		if(buffer == null)			setBuffer(jEdit.getFirstBuffer());		else			setBuffer(buffer);		getContentPane().add(BorderLayout.NORTH,toolBars);		setDefaultCloseOperation(DO_NOTHING_ON_CLOSE);	}