diff options
author | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-01-10 18:29:05 +0000 |
---|---|---|
committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-01-10 18:29:05 +0000 |
commit | cf0fb3424c3256299fa6c39aa5fd10da67d94451 (patch) | |
tree | 2c19e1af3660d970aa44e0a305e5af096a0a45a9 /ide | |
parent | b21556f644ebe675853398a3e989c3b3b5edb371 (diff) |
Correction du bug #1770: il semble que la recherche insensible à la casse ne soit pas implantée (cf backward-search et forward-search dans GText.iter et Gtk.Tags.text_search_flag)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10435 85f007b7-540e-0410-9357-904b9bb8a0f7
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 |