- 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
- 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
- menu contestuale (tasto dx) nel sequent viewer -> attende notazione
- bug di refresh del widget quando si avanza ("swap" tra la finestra dei
- menu contestuale (tasto dx) nel sequent viewer -> attende notazione
- bug di refresh del widget quando si avanza ("swap" tra la finestra dei