eessppeelllloo/processing4
1
0
Fork 0
mirror of https://github.com/processing/processing4.git synced 2026-01-29 19:31:16 +01:00
Code Issues Packages Projects Releases Wiki Activity

losing the battle

Browse Source
This commit is contained in:
Ben Fry
2015-05-18 22:41:21 -04:00
parent c6915de602
commit f79b82e3f8
1 changed files with 27 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

47
java/src/processing/mode/java/SimpleTabbedPaneUI.java
View File

@@ -1,6 +1,7 @@
package processing.mode.java;
import javax.swing.*;
import javax.swing.plaf.ComponentUI;
import javax.swing.plaf.basic.BasicTabbedPaneUI;
import java.awt.*;
@@ -22,9 +23,9 @@ public class SimpleTabbedPaneUI extends BasicTabbedPaneUI {
private int lastRollOverTab = -1;
// public static ComponentUI createUI(JComponent c) {
// return new SimpleTabbedPaneUI();
// }
// public static ComponentUI createUI(JComponent c) {
// return new SimpleTabbedPaneUI();
// }
public SimpleTabbedPaneUI() {
@@ -76,27 +77,28 @@ public class SimpleTabbedPaneUI extends BasicTabbedPaneUI {
super.installDefaults();
MouseAdapter adapter = new MouseAdapter() {
public void mouseMoved(MouseEvent e) {
checkRollOver();
}
public void mouseEntered(MouseEvent e) {
checkRollOver();
}
public void mouseMoved(MouseEvent e) {
checkRollOver();
}
public void mouseExited(MouseEvent e) {
tabPane.repaint();
}
public void mouseEntered(MouseEvent e) {
checkRollOver();
}
private void checkRollOver() {
int currentRollOver = getRolloverTab();
if (currentRollOver != lastRollOverTab) {
lastRollOverTab = currentRollOver;
Rectangle tabsRect = new Rectangle(0, 0, tabPane.getWidth(), 20);
tabPane.repaint(tabsRect);
}
public void mouseExited(MouseEvent e) {
tabPane.repaint();
}
private void checkRollOver() {
int currentRollOver = getRolloverTab();
if (currentRollOver != lastRollOverTab) {
lastRollOverTab = currentRollOver;
Rectangle tabsRect = new Rectangle(0, 0, tabPane.getWidth(), 20);
tabPane.repaint(tabsRect);
}
};
}
};
tabPane.addMouseListener(adapter);
tabPane.addMouseMotionListener(adapter);
@@ -149,6 +151,11 @@ public class SimpleTabbedPaneUI extends BasicTabbedPaneUI {
super.paintTabArea(g, tabPlacement, selectedIndex);
//g2d.setClip(0, 0, tabPane.getWidth(), tabPane.getHeight());
System.out.println("painting green " + g2d.getClip());
g2d.setColor(Color.GREEN);
g2d.fillRect(0, 0, tabPane.getWidth(), 21);
if (contentTopBorderDrawn) {
g2d.setColor(lineColor);
g2d.drawLine(0, 20, tabPane.getWidth() - 1, 20);