added keys method that list currently loaded stylesheets' keys

[helm.git] / helm / uwobo / uwobo_styles.ml

diff --git a/helm/uwobo/uwobo_styles.ml b/helm/uwobo/uwobo_styles.ml
index d866ede5d42136764ae69880b761b3f99fa4cae3..4fb2cbf31a63ab6c205493846500d89476c2f3c9 100644 (file)
--- a/helm/uwobo/uwobo_styles.ml
+++ b/helm/uwobo/uwobo_styles.ml
@@ -109,6 +109,8 @@ class styles =
 
     (* stylesheets usage *)
 
+    method keys = List.map fst uris
+
     method list =
       List.map
         (fun (key, uri) ->