let dir_RE = Pcre.regexp "^cic:((/([^/]+/)*[^/]+(/)?)|/|)$" in
let metadata_RE = Pcre.regexp "^metadata:/(deps)/(forward|backward)/(.*)$" in
let whelp_query_RE = Pcre.regexp
- "^\\s*whelp\\s+([^\\s]+)\\s+(\"|\\()(.*)(\\)|\")$"
+ "^\\s*whelp\\s+([^\\s]+)\\s+(.*)$"
in
let is_metadata txt = Pcre.pmatch ~rex:metadata_RE txt in
let is_whelp txt = Pcre.pmatch ~rex:whelp_RE txt in
combo#set_active (aux 0 queries);
in
let searchText =
- GSourceView.source_view ~auto_indent:false ~editable:false ()
+ GSourceView2.source_view ~auto_indent:false ~editable:false ()
in
let _ =
win#scrolledwinContent#add (searchText :> GObj.widget);
| `NRef nref -> self#_loadNReference nref
| `Univs uri -> self#_loadUnivs uri
| `Whelp (query, results) ->
- set_whelp_query query;
self#_loadList (List.map (fun r -> "obj",
UriManager.string_of_uri r) results));
self#setEntry entry