cluster_search/commit
Removed ui settings.
author | Chris Dijkshoorn |
---|---|
Sat Dec 13 17:18:34 2014 +0100 | |
committer | Chris Dijkshoorn |
Sat Dec 13 17:18:34 2014 +0100 | |
commit | ad845e35e562dcc103fd3199601b4303aeb2fc37 |
tree | fc3d8ae57752c5b453b7058f770a8e4de8296011 |
parent | 65d546b26cf4fca3b4f58937bc1470c0f20ee76a |
Diff style: patch stat
diff --git a/lib/cluster_search/settings.pl b/lib/cluster_search/settings.pl index c1c12f5..1804f91 100644 --- a/lib/cluster_search/settings.pl +++ b/lib/cluster_search/settings.pl @@ -31,18 +31,7 @@ 'Prune the search Graph'). :- setting(search:search_type, oneof([literal,concept,backward]), backward, 'Method to traverse the graph'). -% frontend settings -:- setting(search:strategy, atom, cluster, - 'The strategy used for searching.'). -:- setting(search:image_filter, atom, only_images, - 'Filter used for presenting the results.'). -:- setting(search:enrichment, atom, thumbnails, - 'Setting indicating the level of enrichment of results.'). -:- setting(search:ui, uri, rui:rijksmuseumUI, - 'Default URI defining the UI for search'). :- setting(search:graphSearchCache, boolean, false, 'Cache graph search results'). :- setting(search:graphSearchCacheSize, nonneg, 50, 'Maximum searches kept in cache (0 is unbound)'). -:- setting(search:annotate, boolean, false, - 'Indicate the possibility of annotating search result.').