GUI GRAFICA
- - icone standard per zoom-in/out/=
- 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)
codice che aggiunge i keybinding a tutte le eventBox, e' da ripristinare
- fare "matita foo" (dove foo non esiste), cambiare qualcosa e uscire senza
salvare. In verita' foo e' stato scritto lo stesso!
+ - sensitiveness per copy/paste/cut/delete nel menu Edit
+ - sensitiveness per goto begin/end/etc.
- menu contestuale (tasto dx) nel sequent viewer -> attende notazione
- bug di refresh del widget quando si avanza ("swap" tra la finestra dei
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)
+ - che farne della palette delle tattiche?
- script outline -> Zack
- riattaccare hbugs (brrr...) -> Zack
- non chiudere transitivamente i moo ??
DONE
+- icone standard per zoom-in/out/= e piu' aderenza alle Gnome Interface
+ Guidelines (e.g. about dialog) -> CSC
- salvare la parte di testo lockata dagli effetti di undo/redo con
(shift-)ctrl-Z e anche usando il menu che si apre con il tasto destro -> CSC
- fare in modo che il testo caricato inizialmente da matita non sia