GUI GRAFICA
- - 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 "matita foo" (dove foo non esiste), cambiare qualcosa e uscire senza
salvare. In verita' foo e' stato scritto lo stesso!
+ - menu contestuale (tasto dx) nel sequent viewer -> attende notazione
- 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