L’altro giorno, come ho scritto su FriendFeed, ho scoperto una cosa fighissima che non so come ho fatto a vivere senza sino ad oggi.
Stavo sistemato un po di sottotitoli per vedermi StarWars: The Clone War, la famosa serie tv prodotto da George Lucas (e se non sapete chi è che il Signore Oscuro vi fulmini!), dunque ero li che rinominavo file .srt quando per errore premo F3 e in quel momento ho capito che swicchiare tra tab e finestre è un’immensa cazzata quando puoi avere una finestre divisa in du che mostra due directory contemporaneamente.
Si chiama “Riquadro aggiuntivo” (richiamabile anche dal menu “Visualizza) e pare sia una cosa molto vecchia ma io l’ho scoperta solo ora perdonatemi.
:# /dev/null/
PS: Si comunque la funzione è presenta anche su Dolphin.