+ Modificada la clase Output para satisfacer la nueva ubicación de undo y redo. Ell método publishOutput( ) queda como publishOutput(String text, String title). Si el título es vacío el archivo se nombra como Syntax.