- - bug di refresh del widget quando si avanza ("swap" tra la finestra dei
- sequenti e la finestra dello script)
- - feedback su hyperlink nei sequenti e nel browser: rendere visibili gli
- hyperlink (cursore a "manina"? hyperlink evidenziati?). La maction che
- collassa la prova e' fastidiosa: la prova si chiude se non si clicca
- correttamente su un hyperlink (anche tooltip sui bottoni)
- - Implementare menu edit: cut/copy/undo/etc.
+ - menu contestuale (tasto dx) nel sequent viewer -> attende notazione
+ - highlight degli errori di parsing nello script (usando lo sfondo come per la
+ parte lockata di testo, da ripulire quando si modifica il testo o si sposta
+ il punto di esecuzione)
+ - 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.