From 0e8a90da2bcadd7d5473d5a08862915b3386296e Mon Sep 17 00:00:00 2001 From: Ben Fry Date: Sat, 19 Sep 2015 21:56:02 -0400 Subject: [PATCH] remove tooltip text --- .../processing/app/contrib/ContributionManagerDialog.java | 6 +++++- java/src/processing/mode/java/pdex/JavaTextArea.java | 4 ++++ 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/app/src/processing/app/contrib/ContributionManagerDialog.java b/app/src/processing/app/contrib/ContributionManagerDialog.java index ea5e52024..dfa466210 100644 --- a/app/src/processing/app/contrib/ContributionManagerDialog.java +++ b/app/src/processing/app/contrib/ContributionManagerDialog.java @@ -157,10 +157,14 @@ public class ContributionManagerDialog { tabbedPane.addTab("Updates", null, updatesContributionTab.panel, "Updates"); tabbedPane.setMnemonicAt(4, KeyEvent.VK_5); + tabbedPane.setUI(new SpacedTabbedPaneUI()); tabbedPane.setBackground(new Color(0x132638)); tabbedPane.setOpaque(true); -// tabbedPane.setBorder(BorderFactory.createLineBorder(Color.BLACK, 2)); + + for (int i = 0; i < 5; i++) { + tabbedPane.setToolTipTextAt(i, null); + } makeAndSetTabComponents(); diff --git a/java/src/processing/mode/java/pdex/JavaTextArea.java b/java/src/processing/mode/java/pdex/JavaTextArea.java index ee1323f2d..c4f5936b1 100644 --- a/java/src/processing/mode/java/pdex/JavaTextArea.java +++ b/java/src/processing/mode/java/pdex/JavaTextArea.java @@ -717,6 +717,10 @@ public class JavaTextArea extends JEditTextArea { public void mouseEntered(MouseEvent me) { // forward to standard listeners for (MouseListener ml : mouseListeners) { + // investigating an NPE that keeps showing up here [fry] +// if (ml == null || me == null) { +// System.out.println(ml + " " + me); +// } ml.mouseEntered(me); } }