X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2FmooglePp.ml;h=50809a45940bc9f05383d2c70c9298df8e9aea00;hb=d0991ea0c7c83c100b2d223644cb2f11a8554fa1;hp=998274e08525e60bd7d38a297d210ea1ae419d87;hpb=5cb2fa1e3e6f5d9d7a273b45c56a6c1196982c4a;p=helm.git

diff --git a/helm/searchEngine/mooglePp.ml b/helm/searchEngine/mooglePp.ml
index 998274e08..50809a459 100644
--- a/helm/searchEngine/mooglePp.ml
+++ b/helm/searchEngine/mooglePp.ml
@@ -35,7 +35,8 @@ let theory_of_result (req: Http_types.request) page result =
   let query_kind = pp_request req in
   let template query_kind summary results =
     sprintf
-      "<div class='resultsbar'>
+      "<!-- MOZILLA SEARCH PLUGIN: BEGIN LIST -->
+       <div class='resultsbar'>
         <table width='100%%'>
          <tr>
           <td class='left'><b class='query_kind'>%s</b></td>
@@ -46,7 +47,8 @@ let theory_of_result (req: Http_types.request) page result =
        <br />
        <div>
        %s
-       </div>"
+       </div>
+       <!-- MOZILLA SEARCH PLUGIN: END LIST -->"
        query_kind summary results
   in
   if results_no > 0 then
@@ -59,9 +61,13 @@ let theory_of_result (req: Http_types.request) page result =
         sprintf
           "<tr>
            <td valign=\"top\">%d.</td>
+           <td><span class=\"uri\">%s</span></td>
+           </tr>
+           <tr>
+           <td />
            <td><ht:OBJECT uri=\"%s\" mode=\"%s\"/></td>
            </tr>%s"
-          !idx uri mode i)
+          !idx uri uri mode i)
       result ""
    in
    template query_kind