etc/options

--- a/etc/options	Tue Jul 24 21:07:54 2012 +0200
+++ b/etc/options	Tue Jul 24 21:26:28 2012 +0200
@@ -22,3 +22,9 @@
 
 declare condition : string = ""
 
+declare show_question_marks : bool = true
+
+declare names_long : bool = false
+declare names_short : bool = false
+declare names_unique : bool = true
+