01: /*
02: * WbSplitPaneUI.java
03: *
04: * This file is part of SQL Workbench/J, http://www.sql-workbench.net
05: *
06: * Copyright 2002-2008, Thomas Kellerer
07: * No part of this code maybe reused without the permission of the author
08: *
09: * To contact the author please send an email to: support@sql-workbench.net
10: *
11: */
12: package workbench.gui.components;
13:
14: import javax.swing.plaf.basic.BasicSplitPaneDivider;
15: import javax.swing.plaf.basic.BasicSplitPaneUI;
16:
17: /**
18: * WB's own SplitPaneUI in order to be able to control the Divider
19: */
20: public class WbSplitPaneUI extends BasicSplitPaneUI {
21:
22: public WbSplitPaneUI() {
23: super ();
24: }
25:
26: public BasicSplitPaneDivider createDefaultDivider() {
27: return new WbSplitPaneDivider(this );
28: }
29:
30: public void setOneTouchTooltip(String tip) {
31: if (divider instanceof WbSplitPaneDivider) {
32: ((WbSplitPaneDivider) divider).setOneTouchTooltip(tip);
33: }
34: }
35: }
|