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