buffer.removeFoldListener(foldHandler);
	public void removeNotify()	{		super.removeNotify();		ToolTipManager.sharedInstance().unregisterComponent(painter);		ToolTipManager.sharedInstance().unregisterComponent(gutter);		if(focusedComponent == this)			focusedComponent = null;		if(documentHandlerInstalled)		{			buffer.removeDocumentListener(documentHandler);			documentHandlerInstalled = false;		}	}