1 files changed, 36 insertions, 0 deletions
diff --git a/kjsembed/docs/examples/grepdialog/grepresults.js b/kjsembed/docs/examples/grepdialog/grepresults.js
new file mode 100644
index 00000000..99a698cd
--- /dev/null
+++ b/kjsembed/docs/examples/grepdialog/grepresults.js
@@ -0,0 +1,36 @@
+// Create the dialog
+var dlg = Factory.loadui('grepresults.ui');
+var text = dlg.child('results_text');
+
+function build_row( file, line, text )
+{
+    file = file.replace( /:$/, "" );
+    line = line.replace( /:$/, "" );
+    return '<tr bgcolor="#eeeeff">'
+          +'<td><b><font color="blue">'+file+'</font></b></td>'
+          +'<td align="center"><b><font color="red">'+line+'</font></b></td>'
+          +'<td>'+text+'</td></tr>';
+}
+
+var s = '<table cellspacing="2"><tr bgcolor="#cccccc">';
+s +=    '<th><b>File</b></th>';
+s +=    '<th align="center"><b>Line</b></th>';
+s +=    '<th><b>Text</b></th></tr>';
+
+var line = readLine();
+while ( line != null ) {
+    line.replace( /&/g,"&amp;");
+    line = line.replace( /"/g,"&quot;");
+    line = line.replace( /</g,"&lt;");
+
+    fields = line.match( /^([^:]+:)(\d+:)?(.*)/ );
+
+    s += build_row( fields[1], fields[2], fields[3] );
+    line = readLine();
+}
+
+s += '</table>';
+text.text = s;
+
+// Show dialog
+dlg.exec();