diff options
author | flavio <fdanesse@gmail.com> | 2013-06-17 15:19:19 (GMT) |
---|---|---|
committer | flavio <fdanesse@gmail.com> | 2013-06-17 15:19:19 (GMT) |
commit | b851b9e12daaa171e2e3f0da109e9f0e53387b00 (patch) | |
tree | 82923bafc57efad803985c999563bc005d4be85c /WorkPanel.py | |
parent | 88d53bb4db481a488c37f9387a892f003d459722 (diff) |
Pequeñas Correcciones.
Diffstat (limited to 'WorkPanel.py')
-rw-r--r-- | WorkPanel.py | 18 |
1 files changed, 12 insertions, 6 deletions
diff --git a/WorkPanel.py b/WorkPanel.py index 7885ba5..abb6520 100644 --- a/WorkPanel.py +++ b/WorkPanel.py @@ -138,7 +138,7 @@ class WorkPanel(Gtk.Paned): if pagina: archivo = self.notebook_sourceview.get_children()[pagina].get_children()[0].archivo - + if archivo: self.terminal.ejecutar(archivo) def detener_ejecuciones(self): @@ -347,17 +347,23 @@ class Notebook_SourceView(Gtk.Notebook): ### Código. elif accion == "Formato": - dialogo = DialogoFormato(parent_window = self.get_toplevel()) + dialogo = DialogoFormato(parent_window = self.get_toplevel()) + respuesta = dialogo.run() + dialogo.destroy() if respuesta == Gtk.ResponseType.ACCEPT: res = dialogo.obtener_fuente() + for pagina in paginas: view = pagina.get_child() - view.set_formato(tamanio=res[1], fuente=res[0], - dialogo=True) - + + view.set_formato( + tamanio=res[1], + fuente=res[0], + dialogo=True) + else: sourceview.set_accion(accion) @@ -375,7 +381,7 @@ class Notebook_SourceView(Gtk.Notebook): if boton == widget: self.get_children()[indice].get_child().set_accion("Cerrar Archivo") break - + def get_archivos_de_proyecto(self, proyecto_path): """ Devuelve sourceview de todos los archivos abiertos |