Searched refs:collected_undo_commands (Results 1 – 3 of 3) sorted by relevance
1090 bool collected_undo_commands () const { in collected_undo_commands() function
2570 .addFunction ("collected_undo_commands", &Session::collected_undo_commands) in common()
3104 if (!collected_undo_commands ()) { in abort_empty_reversible_command()