jEdit.setBooleanProperty("view.dock." + position + ".collapsed",collapsed);
		public void saveDimension()		{			if(dimension == 0)				dimension = -1;			jEdit.setProperty("view.dock." + position + ".dimension",				String.valueOf(dimension));		}