propertiesChanged();
		public TabbedPane(String position)		{			super(new BorderLayout());			tabbedPane = new JTabbedPane();			add(BorderLayout.CENTER,tabbedPane);			this.position = position;			int top = position.equals(DockableWindowManager.BOTTOM) ? 3 : 0;			int left = position.equals(DockableWindowManager.RIGHT) ? 3 : 0;			int bottom = position.equals(DockableWindowManager.TOP) ? 3 : 0;			int right = position.equals(DockableWindowManager.LEFT) ? 3 : 0;			setBorder(new MatteBorder(top,left,bottom,right,				UIManager.getColor("Label.foreground")));			try			{				dimension = Integer.parseInt(jEdit.getProperty(					"view.dock." + position + ".dimension"));			}			catch(NumberFormatException nf)			{				dimension = -1;			}			MouseHandler mouseHandler = new MouseHandler();			addMouseListener(mouseHandler);			addMouseMotionListener(mouseHandler);		}