int top = position.equals(DockableWindowManager.BOTTOM) ? 5 : 0; int left = position.equals(DockableWindowManager.RIGHT) ? 5 : 0; int bottom = position.equals(DockableWindowManager.TOP) ? 5 : 0; int right = position.equals(DockableWindowManager.LEFT) ? 5 : 0;  setBorder(new MatteBorder(top,left,bottom,right, GUIUtilities.parseColor(jEdit.getProperty( "view.docking.borderColor"))));
		public void propertiesChanged()		{			int tabsPos = Integer.parseInt(jEdit.getProperty(				"view.docking.tabsPos"));			if(tabsPos == 0)				/* tabbedPane. */setTabPlacement(JTabbedPane.TOP);			else if(tabsPos == 1)				/* tabbedPane. */setTabPlacement(JTabbedPane.BOTTOM);		}