X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2FsearchEngine%2FmooglePp.ml;h=3af0afb4051f882f5251d44891ecc787c93cc232;hb=5c6b8eec9db4119a87eb4fd4055f1ac31a713d90;hp=7731eb28802998de47f3e10ae6ce0c9133664eec;hpb=2a36d2bb28a102199c2dbd9cef762bccab3c7824;p=helm.git diff --git a/helm/searchEngine/mooglePp.ml b/helm/searchEngine/mooglePp.ml index 7731eb288..3af0afb40 100644 --- a/helm/searchEngine/mooglePp.ml +++ b/helm/searchEngine/mooglePp.ml @@ -23,54 +23,61 @@ let theory_of_result page result = Helm_registry.get_int "search_engine.results_per_page" in let results_no = List.length result in + let buffer = Buffer.create (200 * results_no) in let result = paginate ~size:results_per_page ~page result in if results_no > 0 then let mode = "typeonly" in - let results = - let idx = ref ((page - 1) * results_per_page + List.length result + 1) in - List.fold_right - (fun uri i -> - decr idx ; - sprintf - "