diff --git a/doc/config.html b/doc/config.html index 5a6ae1a6..af56d34a 100755 --- a/doc/config.html +++ b/doc/config.html @@ -1,4 +1,4 @@ - +\
+
Case sensitive search = 0|1
+Case sensitive check box in the "Find" page. Second, it determines
+if the quick filters are case sensitive or not. The default is 0.
++