setDirty(loadAutosave);
			public void run()			{				undo = new UndoManager();				setFlag(LOADING,false);				if(getFlag(TEMPORARY))					return;				View _view = jEdit.getFirstView();				while(_view != null)				{					EditPane[] editPanes = _view						.getEditPanes();					for(int i = 0; i < editPanes.length; i++)					{						EditPane editPane = editPanes[i];						if(editPane.getBuffer() == Buffer.this)						{							editPane.getTextArea().setCaretPosition(0);							editPane.getTextArea().repaint();						}					}						_view = _view.getNext();				}				setMode();				propertiesChanged();				EditBus.addToBus(Buffer.this);				// send some EditBus messages				EditBus.send(new BufferUpdate(Buffer.this,					BufferUpdate.LOADED));				EditBus.send(new BufferUpdate(Buffer.this,					BufferUpdate.MARKERS_CHANGED));				if(view != null)					view.hideWaitCursor();			}