From f511d41fddf6eeecd38ba0080f8f449634ed86b1 Mon Sep 17 00:00:00 2001 From: Ben Fry Date: Tue, 19 May 2015 03:17:02 -0400 Subject: [PATCH] good riddance --- .../mode/java/SillyTabbedPaneUI.java | 179 ------------- .../mode/java/SimpleTabbedPaneUI.java | 252 ------------------ 2 files changed, 431 deletions(-) delete mode 100644 java/src/processing/mode/java/SillyTabbedPaneUI.java delete mode 100644 java/src/processing/mode/java/SimpleTabbedPaneUI.java diff --git a/java/src/processing/mode/java/SillyTabbedPaneUI.java b/java/src/processing/mode/java/SillyTabbedPaneUI.java deleted file mode 100644 index adc30c520..000000000 --- a/java/src/processing/mode/java/SillyTabbedPaneUI.java +++ /dev/null @@ -1,179 +0,0 @@ -package processing.mode.java; - - -import javax.swing.*; -import javax.swing.plaf.ComponentUI; -import javax.swing.plaf.basic.BasicTabbedPaneUI; -import java.awt.*; - -public class SillyTabbedPaneUI extends BasicTabbedPaneUI { - static final int HIGH = 30; - - // controls the ugly extra amount at the top - static private final Insets NO_INSETS = new Insets(0, 0, 0, 0); - -// private Font selectedFont; -// private FontMetrics selectedMetrics; - -// /** -// * The color to use to fill in the background -// */ -// private Color fillColor; - - - static public ComponentUI createUI(JComponent c) { - return new SillyTabbedPaneUI(); - } - - - protected void installDefaults() { - super.installDefaults(); - - tabAreaInsets.left = 4; - selectedTabPadInsets = new Insets(0, 0, 0, 0); - tabInsets = selectedTabPadInsets; - -// tabPane.setBackground(Color.CYAN); -// Color background = tabPane.getBackground(); -// fillColor = background.darker(); - -// selectedFont = tabPane.getFont().deriveFont(Font.BOLD); -// selectedMetrics = tabPane.getFontMetrics(selectedFont); - } - - - public int getTabRunCount(JTabbedPane pane) { - return 1; - } - - - protected Insets getContentBorderInsets(int tabPlacement) { - return NO_INSETS; - } - - - protected int calculateTabHeight(int tabPlacement, int tabIndex, int fontHeight) { - return HIGH; -// int vHeight = fontHeight; -// if (vHeight % 2 > 0) { -// vHeight++; -// } -// return vHeight; - } - - - protected int calculateTabWidth(int tabPlacement, int tabIndex, FontMetrics metrics) { - return super.calculateTabWidth(tabPlacement, tabIndex, metrics) + metrics.getHeight(); - } - - - protected void paintTabBackground(Graphics g, int tabPlacement, int tabIndex, - int x, int y, int w, int h, boolean isSelected) { - g.setColor(isSelected ? Color.RED : Color.ORANGE); - g.fillRect(x, y, w, h); - /* - Polygon shape = new Polygon(); - - shape.addPoint(x, y + h); - shape.addPoint(x, y); - shape.addPoint(x + w - (h / 2), y); - - if (isSelected || (tabIndex == (rects.length - 1))) - { - shape.addPoint(x + w + (h / 2), y + h); - } - else - { - shape.addPoint(x + w, y + (h / 2)); - shape.addPoint(x + w, y + h); - } - - g.setColor(tabPane.getBackground()); - g.fillPolygon(shape); - */ - } - - - /** Paint the border of an individual tab */ - protected void paintTabBorder(Graphics g, int tabPlacement, int tabIndex, - int x, int y, int w, int h, boolean isSelected) { - } - - - protected void paintContentBorderTopEdge(Graphics g, int tabPlacement, int selectedIndex, - int x, int y, int w, int h) { - /* - Rectangle selectedRect = selectedIndex < 0 ? null : getTabBounds(selectedIndex, calcRect); - - selectedRect.width = selectedRect.width + (selectedRect.height / 2) - 1; - - g.setColor(Color.BLACK); - - g.drawLine(x, y, selectedRect.x, y); - g.drawLine(selectedRect.x + selectedRect.width + 1, y, x + w, y); - - g.setColor(Color.WHITE); - - g.drawLine(x, y + 1, selectedRect.x, y + 1); - g.drawLine(selectedRect.x + 1, y + 1, selectedRect.x + 1, y); - g.drawLine(selectedRect.x + selectedRect.width + 2, y + 1, x + w, y + 1); - - g.setColor(shadow); - g.drawLine(selectedRect.x + selectedRect.width, y, selectedRect.x + selectedRect.width + 1, y + 1); - */ - } - - - protected void paintContentBorderRightEdge(Graphics g, int tabPlacement, int selectedIndex, - int x, int y, int w, int h) { - } - - - protected void paintContentBorderLeftEdge(Graphics g, int tabPlacement, int selectedIndex, - int x, int y, int w, int h) { - } - - - protected void paintContentBorderBottomEdge(Graphics g, int tabPlacement, int selectedIndex, - int x, int y, int w, int h) { - } - - - protected void paintFocusIndicator(Graphics g, int tabPlacement, Rectangle[] rects, - int tabIndex, Rectangle iconRect, - Rectangle textRect, boolean isSelected) { - } - - - protected void paintTabArea(Graphics g, int tabPlacement, int selectedIndex) { - int tw = tabPane.getBounds().width; - -// g.setColor(fillColor); - g.setColor(Color.YELLOW); - g.fillRect(0, 0, tw, rects[0].height + 3); - - super.paintTabArea(g, tabPlacement, selectedIndex); - } - - - /* - protected void paintText(Graphics g, int tabPlacement, Font font, FontMetrics metrics, int tabIndex, String title, Rectangle textRect, boolean isSelected) - { - if (isSelected) - { - int vDifference = (int)(selectedMetrics.getStringBounds(title,g).getWidth()) - textRect.width; - textRect.x -= (vDifference / 2); - super.paintText(g, tabPlacement, selectedFont, selectedMetrics, tabIndex, title, textRect, isSelected); - } - else - { - super.paintText(g, tabPlacement, font, metrics, tabIndex, title, textRect, isSelected); - } - } - */ - - protected int getTabLabelShiftY(int tabPlacement, int tabIndex, boolean isSelected) - { - return 0; - } -} diff --git a/java/src/processing/mode/java/SimpleTabbedPaneUI.java b/java/src/processing/mode/java/SimpleTabbedPaneUI.java deleted file mode 100644 index 5696f5bd3..000000000 --- a/java/src/processing/mode/java/SimpleTabbedPaneUI.java +++ /dev/null @@ -1,252 +0,0 @@ -package processing.mode.java; - -import javax.swing.*; -import javax.swing.plaf.ComponentUI; -import javax.swing.plaf.basic.BasicTabbedPaneUI; - -import java.awt.*; -import java.awt.event.MouseAdapter; -import java.awt.event.MouseEvent; - - -// TODO why the hell is this not doing anything? -public class SimpleTabbedPaneUI extends BasicTabbedPaneUI { - private ColorSet selectedColorSet; - private ColorSet defaultColorSet; - private ColorSet hoverColorSet; - - private boolean contentTopBorderDrawn = true; - private Color lineColor = new Color(158, 158, 158); - private Color dividerColor = new Color(200, 200, 200); - private Insets contentInsets = new Insets(10, 10, 10, 10); - private int lastRollOverTab = -1; - - - public static ComponentUI createUI(JComponent c) { - return new SimpleTabbedPaneUI(); - } - - - public SimpleTabbedPaneUI() { - selectedColorSet = new ColorSet(); - selectedColorSet.topGradColor1 = new Color(233, 237, 248); - selectedColorSet.topGradColor2 = new Color(158, 199, 240); - selectedColorSet.bottomGradColor1 = new Color(112, 173, 239); - selectedColorSet.bottomGradColor2 = new Color(183, 244, 253); - - defaultColorSet = new ColorSet(); - defaultColorSet.topGradColor1 = new Color(253, 253, 253); - defaultColorSet.topGradColor2 = new Color(237, 237, 237); - defaultColorSet.bottomGradColor1 = new Color(222, 222, 222); - defaultColorSet.bottomGradColor2 = new Color(255, 255, 255); - - hoverColorSet = new ColorSet(); - hoverColorSet.topGradColor1 = new Color(244, 244, 244); - hoverColorSet.topGradColor2 = new Color(223, 223, 223); - hoverColorSet.bottomGradColor1 = new Color(211, 211, 211); - hoverColorSet.bottomGradColor2 = new Color(235, 235, 235); - - maxTabHeight = 20; - - setContentInsets(0); - } - - - public void setContentTopBorderDrawn(boolean b) { - contentTopBorderDrawn = b; - } - - - public void setContentInsets(Insets i) { - contentInsets = i; - } - - - public void setContentInsets(int i) { - contentInsets = new Insets(i, i, i, i); - } - - - public int getTabRunCount(JTabbedPane pane) { - return 1; - } - - - protected void installDefaults() { - super.installDefaults(); - - MouseAdapter adapter = new MouseAdapter() { - - public void mouseMoved(MouseEvent e) { - checkRollOver(); - } - - public void mouseEntered(MouseEvent e) { - checkRollOver(); - } - - 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); - - tabAreaInsets = new Insets(0, 0, 0, 0); //NO_INSETS; - tabInsets = new Insets(0, 0, 0, 1); - } - - - protected boolean scrollableTabLayoutEnabled() { - return false; - } - - - protected Insets getContentBorderInsets(int tabPlacement) { - return contentInsets; - } - - - protected int calculateTabHeight(int tabPlacement, int tabIndex, - int fontHeight) { - return 21; - } - - - protected int calculateTabWidth(int tabPlacement, int tabIndex, - FontMetrics metrics) { - int w = super.calculateTabWidth(tabPlacement, tabIndex, metrics); - int wid = metrics.charWidth('M'); - w += wid * 2; - return w; - } - - - protected int calculateMaxTabHeight(int tabPlacement) { - return 21; - } - - - // paint the area that has no tabs - protected void paintTabArea(Graphics g, int tabPlacement, int selectedIndex) { - Graphics2D g2d = (Graphics2D) g; - - g2d.setPaint(new GradientPaint(0, 0, defaultColorSet.topGradColor1, - 0, 10, defaultColorSet.topGradColor2)); - g2d.fillRect(0, 0, tabPane.getWidth(), 10); - - g2d.setPaint(new GradientPaint(0, 10, defaultColorSet.bottomGradColor1, - 0, 21, defaultColorSet.bottomGradColor2)); - g2d.fillRect(0, 10, tabPane.getWidth(), 11); - - 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); - } - } - - - // paint the background of individual tabs - protected void paintTabBackground(Graphics g, int tabPlacement, - int tabIndex, int x, int y, int w, int h, - boolean isSelected) { - Graphics2D g2d = (Graphics2D) g; - ColorSet colorSet; - - Rectangle rect = rects[tabIndex]; - - if (isSelected) { - colorSet = selectedColorSet; - } else if (getRolloverTab() == tabIndex) { - colorSet = hoverColorSet; - } else { - colorSet = defaultColorSet; - } - - g2d.setRenderingHint(RenderingHints.KEY_ANTIALIASING, - RenderingHints.VALUE_ANTIALIAS_ON); - - int width = rect.width; - int xpos = rect.x; - if (tabIndex > 0) { - width--; - xpos++; - } - - g2d.setPaint(new GradientPaint(xpos, 0, colorSet.topGradColor1, - xpos, 10, colorSet.topGradColor2)); - g2d.fillRect(xpos, 0, width, 10); - - g2d.setPaint(new GradientPaint(0, 10, colorSet.bottomGradColor1, - 0, 21, colorSet.bottomGradColor2)); - g2d.fillRect(xpos, 10, width, 11); - -// System.out.println("drawing orange"); -// g2d.setColor(Color.ORANGE); -// g2d.fillRect(xpos, 0, width, 21); - - if (contentTopBorderDrawn) { - g2d.setColor(lineColor); - g2d.drawLine(rect.x, 20, rect.x + rect.width - 1, 20); - } - } - - - protected void paintTabBorder(Graphics g, int tabPlacement, int tabIndex, - int x, int y, int w, int h, - boolean isSelected) { - Rectangle rect = getTabBounds(tabIndex, new Rectangle(x, y, w, h)); - g.setColor(dividerColor); - g.drawLine(rect.x + rect.width, 0, rect.x + rect.width, 20); - } - - - protected void paintContentBorderTopEdge(Graphics g, int place, int index, - int x, int y, int w, int h) { } - - protected void paintContentBorderRightEdge(Graphics g, int place, int index, - int x, int y, int w, int h) { } - - protected void paintContentBorderLeftEdge(Graphics g, int place, int index, - int x, int y, int w, int h) { } - - protected void paintContentBorderBottomEdge(Graphics g, int place, int index, - int x, int y, int w, int h) { } - - protected void paintFocusIndicator(Graphics g, int place, - Rectangle[] rects, int tabIndex, - Rectangle iconRect, Rectangle textRect, - boolean isSelected) { } - - protected int getTabLabelShiftY(int place, int index, boolean selected) { - return 0; - } - - - // . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . - - - private class ColorSet { - Color topGradColor1; - Color topGradColor2; - - Color bottomGradColor1; - Color bottomGradColor2; - } -}