diff options
Diffstat (limited to 'ide')
-rw-r--r-- | ide/coqide.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index 9860870ca..f223972df 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -2208,13 +2208,15 @@ let main files = ~packing: (find_box#attach ~left:1 ~top:1 ~expand:`X) () in - let _ = + (* let _ = GButton.check_button ~label:"case sensitive" ~active:true ~packing: (find_box#attach ~left:1 ~top:2) () - in + + in + *) (* let find_backwards_check = GButton.check_button |