diff options
| -rw-r--r-- | ide/session.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ide/session.ml b/ide/session.ml index 9b7986ed4..ec5be3b29 100644 --- a/ide/session.ml +++ b/ide/session.ml @@ -162,6 +162,7 @@ let set_buffer_handlers let begin_action_cb () = Minilib.log "begin_action_cb"; action_was_cancelled := false; + no_coq_action_required := true; cur_action := new_action_id (); let where = get_insert () in buffer#move_mark (`NAME "prev_insert") ~where in |