01: package org.uispec4j.interception.ui;
02:
03: import org.uispec4j.interception.toolkit.Empty;
04:
05: import javax.swing.*;
06: import javax.swing.plaf.ComponentUI;
07: import javax.swing.plaf.basic.BasicTabbedPaneUI;
08: import java.awt.*;
09:
10: ///CLOVER:OFF
11:
12: public class UISpecTabbedPaneUI extends BasicTabbedPaneUI {
13: public static ComponentUI createUI(JComponent component) {
14: return new UISpecTabbedPaneUI();
15: }
16:
17: public void paint(Graphics g, JComponent c) {
18: }
19:
20: public Dimension getPreferredSize(JComponent c) {
21: return Empty.NULL_DIMENSION;
22: }
23:
24: public Dimension getMaximumSize(JComponent c) {
25: return Empty.NULL_DIMENSION;
26: }
27:
28: public Dimension getMinimumSize(JComponent c) {
29: return Empty.NULL_DIMENSION;
30: }
31: }
|