src/jdict/AskWord.java
changeset 45 6d4785558864
parent 38 45c0a27c902f
child 47 25a2b297656d
child 48 f3660feedd64
--- a/src/jdict/AskWord.java	Sat Aug 18 23:20:10 2007 +0200
+++ b/src/jdict/AskWord.java	Sun Aug 19 00:31:30 2007 +0200
@@ -152,7 +152,7 @@
         {
             ShowText text = new ShowText(
                     /* Versio */
-                    "JDict v0.3 - Vortara programo laŭ stilo dictd " +
+                    "JDict v0.3.2 - Vortara programo laŭ stilo dictd " +
                     "(http://www.dict.org)\n" +
                     "Kopirajto (C) 2007 Lluís Batlle i Rossell\n" +
                     "Tiun ĉi programon mi distribuas laŭ permesilo " +
@@ -166,22 +166,32 @@
         {
             Vector results;
             String text = "";
+            DictDefs defs = new DictDefs(vortaro);
 
             /* Already at start */
-            results = index.SearchDefinition("00databaseinfo", 5);
+            results = index.BinarySearchDefinition("00databaseinfo");
             if (results.size() > 0)
-                text += "Database Info:\n" + (String) results.elementAt(0)
-                    + "\n";
+            {
+                Vorto w = (Vorto) results.elementAt(0);
+                String def = defs.getDefinition(w.getPos(), w.getLength());
+                text += "Database Info:\n" + def + "\n";
+            }
 
-            results = index.SearchDefinition("00databaseshort", 5);
+            results = index.BinarySearchDefinition("00databaseshort");
             if (results.size() > 0)
-                text += "Database Short:\n" + (String) results.elementAt(0)
-                    + "\n";
+            {
+                Vorto w = (Vorto) results.elementAt(0);
+                String def = defs.getDefinition(w.getPos(), w.getLength());
+                text += "Database Short:\n" + def + "\n";
+            }
 
-            results = index.SearchDefinition("00databaseurl", 5);
+            results = index.BinarySearchDefinition("00databaseurl");
             if (results.size() > 0)
-                text += "Database URL:\n" + (String) results.elementAt(0)
-                    + "\n";
+            {
+                Vorto w = (Vorto) results.elementAt(0);
+                String def = defs.getDefinition(w.getPos(), w.getLength());
+                text += "Database URL:\n" + def + "\n";
+            }
 
             ShowText textwin = new ShowText(text, myform);
         }