Author: jflesch
Date: 2006-12-01 20:06:44 +0000 (Fri, 01 Dec 2006)
New Revision: 11183
Modified:
trunk/apps/Thaw/src/thaw/plugins/index/FileTable.java
trunk/apps/Thaw/src/thaw/plugins/index/IndexTree.java
trunk/apps/Thaw/src/thaw/plugins/index/LinkTable.java
Log:
Improve behavior of the option 'go to the corresponding index'
Modified: trunk/apps/Thaw/src/thaw/plugins/index/FileTable.java
===================================================================
--- trunk/apps/Thaw/src/thaw/plugins/index/FileTable.java 2006-12-01
19:36:42 UTC (rev 11182)
+++ trunk/apps/Thaw/src/thaw/plugins/index/FileTable.java 2006-12-01
20:06:44 UTC (rev 11183)
@@ -23,6 +23,8 @@
import javax.swing.JProgressBar;
import javax.swing.JLabel;
+import javax.swing.tree.TreePath;
+
import java.awt.Toolkit;
import java.awt.datatransfer.Clipboard;
import java.awt.datatransfer.StringSelection;
@@ -219,6 +221,8 @@
return;
}
+ tree.getTree().setSelectionPath(new
TreePath(parent.getTreeNode().getPath()));
+
tables.setList(parent);
int row;
Modified: trunk/apps/Thaw/src/thaw/plugins/index/IndexTree.java
===================================================================
--- trunk/apps/Thaw/src/thaw/plugins/index/IndexTree.java 2006-12-01
19:36:42 UTC (rev 11182)
+++ trunk/apps/Thaw/src/thaw/plugins/index/IndexTree.java 2006-12-01
20:06:44 UTC (rev 11183)
@@ -142,8 +142,8 @@
tree.setCellRenderer(treeRenderer);
tree.getSelectionModel().setSelectionMode(TreeSelectionModel.SINGLE_TREE_SELECTION);
+ tree.setExpandsSelectedPaths(true);
-
// Menus :
JMenuItem item;
@@ -287,7 +287,7 @@
public JTree getTree() {
- return this.tree;
+ return tree;
}
public IndexCategory getRoot() {
Modified: trunk/apps/Thaw/src/thaw/plugins/index/LinkTable.java
===================================================================
--- trunk/apps/Thaw/src/thaw/plugins/index/LinkTable.java 2006-12-01
19:36:42 UTC (rev 11182)
+++ trunk/apps/Thaw/src/thaw/plugins/index/LinkTable.java 2006-12-01
20:06:44 UTC (rev 11183)
@@ -18,6 +18,8 @@
import javax.swing.JMenuItem;
import javax.swing.JLabel;
+import javax.swing.tree.TreePath;
+
import java.awt.Toolkit;
import java.awt.datatransfer.Clipboard;
import java.awt.datatransfer.StringSelection;
@@ -192,6 +194,8 @@
return;
}
+ indexTree.getTree().setSelectionPath(new
TreePath(parent.getTreeNode().getPath()));
+
tables.setList(parent);
return;