Leggendo planet GNOME mi sono imbattuto in questo link:
https://bugzilla.novell.com/show_bug.cgi?id=324171
Vala Toys ha questa funzionalità sin dalla versione 0.1.0 ma la cosa che mi ha sorpreso è che per come ho implementato il tutto sembra che io conosca già eclipse o abbia già letto questo bug report. In realtà per me è stata una implementazione alquanto naturale e scontata, il punto è che anche lo shortcut è lo stesso!
Una dimostrazione di quanta fantasia abbiamo noi programmatori!