int top = position.equals(DockableWindowManager.BOTTOM) ? 4 : 0; int left = position.equals(DockableWindowManager.RIGHT) ? 4 : 0; int bottom = position.equals(DockableWindowManager.TOP) ? 4 : 0; int right = position.equals(DockableWindowManager.LEFT) ? 4 : 0; setBorder(new MatteBorder(top,left,bottom,right,Color.black));
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;  if(UIManager.getLookAndFeel() instanceof MetalLookAndFeel) { setBorder(new MatteBorder(top,left,bottom,right, MetalLookAndFeel.getPrimaryControl())); } else { setBorder(new MatteBorder(top,left,bottom,right, Color.black)); }
		public TabbedPane(String position)		{			/* super(new BorderLayout());			tabbedPane = new JTabbedPane();			add(BorderLayout.CENTER,tabbedPane); */			this.position = position;			int top = position.equals(DockableWindowManager.BOTTOM) ? 4 : 0;			int left = position.equals(DockableWindowManager.RIGHT) ? 4 : 0;			int bottom = position.equals(DockableWindowManager.TOP) ? 4 : 0;			int right = position.equals(DockableWindowManager.LEFT) ? 4 : 0;			setBorder(new MatteBorder(top,left,bottom,right,Color.black));			try			{				dimension = Integer.parseInt(jEdit.getProperty(					"view.dock." + position + ".dimension"));			}			catch(NumberFormatException nf)			{				dimension = -1;			}			collapsed = jEdit.getBooleanProperty("view.dock."				+ position + ".collapsed");			MouseHandler mouseHandler = new MouseHandler();			addMouseListener(mouseHandler);			addMouseMotionListener(mouseHandler);			propertiesChanged();		}