diff options
| author |  gareuselesinge <gareuselesinge@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-10-22 09:22:15 +0000 |
|---|---|---|
| committer | gareuselesinge <gareuselesinge@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-10-22 09:22:15 +0000 |
| commit | 6a43dd3dc162412fbd9a9863840536b01043937d (patch) | |
| tree | f63d5a55b57eb852eb88e23135a26d735c968036 /ide/session.ml | |
| parent | ad4343b8daf31569fe46c53032ce5fc409076672 (diff) | |
Wg_Find: regex + case insensitive find/replace support
It uses Str, hence it also supports captures \(..\) and \1 .. \n
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16904 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/session.ml')
| -rw-r--r-- | ide/session.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/session.ml b/ide/session.ml index c42ed98da..9b7986ed4 100644 --- a/ide/session.ml +++ b/ide/session.ml @@ -234,7 +234,7 @@ let create file coqtop_args = let proof = create_proof () in let messages = create_messages () in let command = new Wg_Command.command_window basename coqtop in - let finder = new Wg_Find.finder (script :> GText.view) in + let finder = new Wg_Find.finder basename (script :> GText.view) in let fops = new FileOps.fileops (buffer :> GText.buffer) file reset in let _ = fops#update_stats in let cops = |