Menu
▾
▴
[DL-Learner SVN] SF.net SVN: dl-learner:[1576] trunk/src/dl-learner/org/dllearner
|
From: <jen...@us...> - 2009-01-12 18:34:47
|
Revision: 1576
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1576&view=rev
Author: jenslehmann
Date: 2009-01-12 18:34:36 +0000 (Mon, 12 Jan 2009)
Log Message:
-----------
fixed display bug in tree display in GUI
Modified Paths:
--------------
trunk/src/dl-learner/org/dllearner/algorithms/refexamples/ExampleBasedNode.java
trunk/src/dl-learner/org/dllearner/gui/SearchTree.java
trunk/src/dl-learner/org/dllearner/gui/TreeWindow.java
Modified: trunk/src/dl-learner/org/dllearner/algorithms/refexamples/ExampleBasedNode.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/algorithms/refexamples/ExampleBasedNode.java 2009-01-11 19:24:30 UTC (rev 1575)
+++ trunk/src/dl-learner/org/dllearner/algorithms/refexamples/ExampleBasedNode.java 2009-01-12 18:34:36 UTC (rev 1576)
@@ -183,7 +183,7 @@
}
public String getShortDescriptionHTML(int nrOfPositiveExamples, int nrOfNegativeExamples, String baseURI) {
- String ret = "<html><nobr> " + concept.toString(baseURI,null) + " <i>[";
+ String ret = "<html><nobr> " + concept.toManchesterSyntaxString(baseURI,null) + " <i>[";
if(isTooWeak)
ret += "q:tw";
Modified: trunk/src/dl-learner/org/dllearner/gui/SearchTree.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/gui/SearchTree.java 2009-01-11 19:24:30 UTC (rev 1575)
+++ trunk/src/dl-learner/org/dllearner/gui/SearchTree.java 2009-01-12 18:34:36 UTC (rev 1576)
@@ -42,6 +42,7 @@
this.nrOfPositiveExamples = nrOfPositiveExamples;
this.nrOfNegativeExamples = nrOfNegativeExamples;
this.baseURI = baseURI;
+// setRowHeight(0);
}
@Override
@@ -53,5 +54,6 @@
boolean hasFocus) {
ExampleBasedNode node = (ExampleBasedNode) value;
return node.getShortDescriptionHTML(nrOfPositiveExamples, nrOfNegativeExamples, baseURI);
+// return node.toString();
}
}
Modified: trunk/src/dl-learner/org/dllearner/gui/TreeWindow.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/gui/TreeWindow.java 2009-01-11 19:24:30 UTC (rev 1575)
+++ trunk/src/dl-learner/org/dllearner/gui/TreeWindow.java 2009-01-12 18:34:36 UTC (rev 1576)
@@ -86,6 +86,11 @@
int nrOfNegativeExamples = negExamples.size();
tree = new SearchTree(ebNodeModel, nrOfPositiveExamples, nrOfNegativeExamples, baseURI);
+ // we need to call this, otherwise the width of the elements below the root node
+ // corresponds to that of the toString() method on ExampleBasedNode, although we
+ // use a different method to create a string representation of a node
+ tree.updateUI();
+// ebNodeModel.nodeChanged(rootNode);
// tree.addTreeWillExpandListener(this);
this.add(new JScrollPane(tree));
}
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
