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