- - fare in modo che il testo caricato inizialmente da matita non sia
- undoable (usando i metodi begin/end_not_undoable_action di gtk_source_view)
- - salvare la parte di testo lockata dagli effetti di undo/redo (come?????)
- con ctrl-Z. Una possibilita' e' usare la coppia
- begin/end_not_undoable_action di gtk_source_view nella moveMark (visto
- che la coppia fa anche clear completo dello stack di Undo). Un'alternativa
- differente (ma sicuramente piu' complessa e forse poco utile) e' trovare
- il modo di fare undo logico fino a quando il posto dove fare undo fisico
- (qual'e'?) ma ignoro come si potrebbe fare.