
Como podedes ver cambiei o diálogo de preferencias, penso que é máis cómodo agora ou polo menos máis bonito.
O novo diálogo de preferencias permite cambiar calquer tipo de preferencia no momento, é dicir ti se lle cambias a fonte cambiarase no momento de escoller a fonte nova, xa que como podedes ver non hai ningún botón aceptar.
Para facer isto baseeino na implementación do gedit.
Saúdos.