1 files changed, 97 insertions, 0 deletions

diff --git a/src/cppcheckplus/tab/MyTabPanel.java b/src/cppcheckplus/tab/MyTabPanel.java
new file mode 100644
index 0000000..cda8c3a
--- /dev/null
+++ b/src/cppcheckplus/tab/MyTabPanel.java
@@ -0,0 +1,97 @@
+
+package cppcheckplus.tab;
+
+import java.awt.Component;
+import javax.swing.JTabbedPane;
+import javax.swing.event.ChangeEvent;
+import javax.swing.event.ChangeListener;
+
+import cppcheckplus.control.MyContorlUtil;
+
+public class MyTabPanel extends JTabbedPane
+{
+        private int preferredUnselectedTabWidth;
+        private int preferredTabHeight;
+
+        public MyTabPanel()
+        {
+                preferredUnselectedTabWidth = 80;
+                preferredTabHeight = MyContorlUtil.getImageIcon("control/images/tab_header_background.png").getIconHeight();
+                init();
+        }
+
+        private void init()
+        {
+                setFont(MyContorlUtil.FONT_12_BOLD);
+                setForeground(MyContorlUtil.DEFAULT_TEXT_COLOR);
+                setBorder(null);
+                setFocusable(false);
+                setTabLayoutPolicy(1);
+                setOpaque(false);
+                setUI(new MyTabPanelUI(this));
+                addChangeListener(new ChangeListener() {
+                        public void stateChanged(ChangeEvent e)
+                        {
+                                updateTabComponents();
+                        }       
+                });
+        }
+
+        
+        @Override
+        public void addTab(String title, Component component)
+        {
+                super.addTab(title, component);
+                int index = getTabCount() - 1;
+                MyTabComponent tabComponent = new MyTabComponent(title, this);
+                tabComponent.setTitle(title);
+                setTabComponentAt(index, tabComponent);
+                setToolTipTextAt(index, title);
+                updateTabComponents();
+        }
+        
+        public boolean isSelectTabComponents(String oId)
+        {
+                for(int i=0;i<getTabCount();i++)
+                {
+                        Component c = getTabComponentAt(i);
+                        if (c instanceof MyTabComponent)
+                        {
+                                if(((MyTabComponent) c).getOId().equals(oId))
+                                {
+                                        setSelectedIndex(i);
+                                        updateTabComponents();
+                                        return true;
+                                }
+                        }
+                }
+                return false;
+        }
+
+        public int getPreferredTabHeight()
+        {
+                return preferredTabHeight;
+        }
+
+        private void updateTabComponents()
+        {
+                int selectedIndex = getSelectedIndex();
+                for (int i = 0; i < getTabCount(); i++)
+                {
+                        Component c = getTabComponentAt(i);
+                        if (c instanceof MyTabComponent)
+                        {
+                                MyTabComponent component = (MyTabComponent)c;
+                                boolean selected = selectedIndex == i;
+                                component.updateSelection(selected);
+                        }
+                }
+
+        }
+
+        public int getPreferredUnselectedTabWidth()
+        {
+                return preferredUnselectedTabWidth;
+        }
+
+}