Update of /cvsroot/bprocessor/gui/src/net/sourceforge/bprocessor/gui/treeview
In directory sc8-pr-cvs3.sourceforge.net:/tmp/cvs-serv25799/src/net/sourceforge/bprocessor/gui/treeview
Modified Files:
GenericTreeView.java
Log Message:
Cosmetic changes
Index: GenericTreeView.java
===================================================================
RCS file: /cvsroot/bprocessor/gui/src/net/sourceforge/bprocessor/gui/treeview/GenericTreeView.java,v
retrieving revision 1.108
retrieving revision 1.109
diff -C2 -d -r1.108 -r1.109
*** GenericTreeView.java 20 Sep 2007 14:41:46 -0000 1.108
--- GenericTreeView.java 21 Sep 2007 08:23:18 -0000 1.109
***************
*** 70,73 ****
--- 70,75 ----
private static final long serialVersionUID = 1L;
+ private static final boolean TAG = false;
+
/** Functionalspace icon */
protected static ImageIcon functionalspaceicon;
***************
*** 143,146 ****
--- 145,153 ----
private boolean changing;
+ /**
+ *
+ */
+ private boolean synchronize;
+
/** The object udpated on a update call */
private Object updated = null;
***************
*** 265,268 ****
--- 272,276 ----
isChanged = false;
changing = false;
+ synchronize = false;
setCellRenderer(new Renderer());
}
***************
*** 325,337 ****
if (!changing) {
changing = true;
! List<TreePath> paths = new LinkedList();
! for (Object current : Selection.primary()) {
! TreePath path = search(root, current);
! if (path != null) {
! paths.add(path);
}
}
- TreePath[] array = paths.toArray(new TreePath[0]);
- setSelectionPaths(array);
changing = false;
}
--- 333,349 ----
if (!changing) {
changing = true;
! if (synchronize) {
! List<TreePath> paths = new LinkedList();
! for (Object current : Selection.primary()) {
! TreePath path = search(root, current);
! if (path != null) {
! paths.add(path);
! }
}
+ TreePath[] array = paths.toArray(new TreePath[0]);
+ setSelectionPaths(array);
+ } else {
+ setSelectionPaths(new TreePath[0]);
}
changing = false;
}
***************
*** 738,745 ****
public String toString() {
String nid = ((Space)userObject).getDisplayName();
! if (GUI.getInstance().isClosed(((Space)userObject))) {
! nid += " (C)";
! } else {
! nid += " (O)";
}
return nid;
--- 750,759 ----
public String toString() {
String nid = ((Space)userObject).getDisplayName();
! if (TAG) {
! if (GUI.getInstance().isClosed(((Space)userObject))) {
! nid += " (C)";
! } else {
! nid += " (O)";
! }
}
return nid;
|