Author: jflesch
Date: 2007-06-18 00:01:23 +0000 (Mon, 18 Jun 2007)
New Revision: 13640
Modified:
trunk/apps/Thaw/src/thaw/gui/TabbedPane.java
trunk/apps/Thaw/src/thaw/plugins/index/IndexTree.java
Log:
Fix the warnings due to the new tabbedpane behavior
Modified: trunk/apps/Thaw/src/thaw/gui/TabbedPane.java
===================================================================
--- trunk/apps/Thaw/src/thaw/gui/TabbedPane.java 2007-06-17 23:53:50 UTC
(rev 13639)
+++ trunk/apps/Thaw/src/thaw/gui/TabbedPane.java 2007-06-18 00:01:23 UTC
(rev 13640)
@@ -48,7 +48,11 @@
super.remove(panel);
}
+ public int indexOfTab(String tabName) {
+ return tabNames.indexOf(tabName);
+ }
+
public void stateChanged(final ChangeEvent e) {
int x = super.getSelectedIndex();
int tabCount = super.getTabCount();
Modified: trunk/apps/Thaw/src/thaw/plugins/index/IndexTree.java
===================================================================
--- trunk/apps/Thaw/src/thaw/plugins/index/IndexTree.java 2007-06-17
23:53:50 UTC (rev 13639)
+++ trunk/apps/Thaw/src/thaw/plugins/index/IndexTree.java 2007-06-18
00:01:23 UTC (rev 13640)
@@ -587,12 +587,16 @@
}
public void redraw(TreePath path) {
- Object[] nodes = (path.getPath());
+ if (path != null) {
+ Object[] nodes = (path.getPath());
- for (int i = 0 ; i < nodes.length ; i++) {
- IndexTreeNode node = (IndexTreeNode)nodes[i];
- redraw(node);
+ for (int i = 0 ; i < nodes.length ; i++) {
+ IndexTreeNode node = (IndexTreeNode)nodes[i];
+ redraw(node);
+ }
}
+ else
+ redraw(getRoot());
}