cluster_search/commit

Removed ui settings.

authorChris Dijkshoorn
Sat Dec 13 17:18:34 2014 +0100
committerChris Dijkshoorn
Sat Dec 13 17:18:34 2014 +0100
commitad845e35e562dcc103fd3199601b4303aeb2fc37
treefc3d8ae57752c5b453b7058f770a8e4de8296011
parent65d546b26cf4fca3b4f58937bc1470c0f20ee76a
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.').