import com.google.gwt.dom.client.Element;\r
import com.google.gwt.query.client.DeferredGQuery;\r
import com.google.gwt.query.client.SelectorEngine;\r
+import com.google.gwt.user.client.DOM;\r
import com.google.gwt.user.client.DeferredCommand;\r
import com.google.gwt.user.client.IncrementalCommand;\r
-import com.google.gwt.user.client.DOM;\r
\r
public class GwtQueryBenchModule implements EntryPoint {\r
\r
for (int i = 0; i < benchmark.length; i++) {\r
if (i != winner) {\r
moveHorse(benchmark[i].getId(),\r
- (int) (totalMovement * (double)(winTime\r
+ (int) (totalMovement * (double) (winTime\r
/ (double) runTimes[i])));\r
setResultClass(benchmark[i].getId(), selectorNumber, "lose");\r
}\r
Element td = Document.get().getElementById(type + i);\r
td.setInnerHTML(\r
"" + (((int) (v * 100)) / 100.0) + " ms, found " + i1 + " nodes");\r
+ DOM.scrollIntoView((com.google.gwt.user.client.Element) td);\r
}\r
\r
private void initResultsTable(DeferredGQuery[] dg, String... options) {\r
Document doc = Document.get();\r
Element table = doc.getElementById("resultstable");\r
Element thead = doc.createTHeadElement();\r
+// thead.getStyle().setProperty("position", "relative");\r
table.appendChild(thead);\r
Element selectorHeader = doc.createTHElement();\r
Element theadtr = doc.createTRElement();\r
thead.appendChild(theadtr);\r
\r
Element tbody = doc.createTBodyElement();\r
+// tbody.getStyle().setProperty("overflow", "scroll");\r
+// tbody.getStyle().setProperty("height", "200px");\r
table.appendChild(tbody);\r
\r
for (int i = 0; i < options.length; i += 2) {\r