diff options
| author | Ignacio Rodríguez <ignaciorodriguez@sugarlabs.org> | 2013-05-24 23:42:01 (GMT) |
|---|---|---|
| committer | Ignacio Rodríguez <ignaciorodriguez@sugarlabs.org> | 2013-05-24 23:42:01 (GMT) |
| commit | d92503d05b6bffd9aab13d72341217c2d630a896 (patch) | |
| tree | f55afa4aa42dc0579e96c0093a4421b6bcfd679d | |
| parent | 05beab8f98f5f186aa5826520a871e090616d765 (diff) | |
Correciones.
| -rw-r--r-- | BasePanel.py | 2 | ||||
| -rw-r--r-- | Widgets.py | 12 |
2 files changed, 9 insertions, 5 deletions
diff --git a/BasePanel.py b/BasePanel.py index a4ac007..940f8a9 100644 --- a/BasePanel.py +++ b/BasePanel.py @@ -47,7 +47,7 @@ class BasePanel(Gtk.Paned): self.infonotebook_box.pack_start(self.toolbarproyecto, False, False, 0) self.infonotebook_box.pack_end(self.infonotebook, True, True, 0) - x = Gdk.Screen.width() / 4 + x = Gdk.Screen.width() / 3.5 self.infonotebook_box.set_size_request(x, -1) @@ -253,7 +253,7 @@ class MainToolbar(Gtk.Toolbar): # Botones - Código #self.ejecutar = get_boton(Gtk.STOCK_MEDIA_PLAY, "Ejecutar Archivo") #self.ejecutar_p = get_boton(Gtk.STOCK_MEDIA_PLAY, "Ejecutar Proyecto") - self.detener = get_boton(Gtk.STOCK_MEDIA_STOP, "Detener") + #self.detener = get_boton(Gtk.STOCK_MEDIA_STOP, "Detener") self.remover_blanco = get_boton(Gtk.STOCK_CLEAR, "Remover espacios en blanco") self.remplazar_tab_espacio = get_boton(Gtk.STOCK_CLEAR, "Reemplazar Tabulaciones por Espacios") @@ -294,7 +294,7 @@ class MainToolbar(Gtk.Toolbar): #self.insert(self.ejecutar, -1) #self.insert(self.ejecutar_p, -1) - self.insert(self.detener, -1) + #self.insert(self.detener, -1) self.insert(self.remover_blanco, -1) self.insert(self.remplazar_tab_espacio, -1) @@ -773,6 +773,7 @@ class ToolbarProyecto(Gtk.Toolbar): self.editar_proyecto = get_boton(Gtk.STOCK_EDIT, "Editar proyecto") self.guardar_proyecto = get_boton(Gtk.STOCK_SAVE, "Guardar proyecto") self.ejecutar_proyecto = get_boton(Gtk.STOCK_MEDIA_PLAY, "Ejecutar proyecto") + self.detener = get_boton(Gtk.STOCK_MEDIA_STOP, "Detener") self.insert(self.nuevo_proyecto, -1) self.insert(self.abrir_proyecto, -1) @@ -780,6 +781,7 @@ class ToolbarProyecto(Gtk.Toolbar): self.insert(self.guardar_proyecto, -1) self.insert(get_separador(draw = True, ancho = 0, expand = False), -1) self.insert(self.ejecutar_proyecto, -1) + self.insert(self.detener, -1) self.insert(self.cerrar_proyecto, -1) self.show_all() @@ -799,13 +801,15 @@ class ToolbarArchivo(Gtk.Toolbar): self.guardar_archivo = get_boton(Gtk.STOCK_SAVE, "Guardar") self.guardar_como = get_boton(Gtk.STOCK_SAVE_AS, "Guardar como") self.ejecutar = get_boton(Gtk.STOCK_MEDIA_PLAY, "Ejecutar Archivo") + self.detener = get_boton(Gtk.STOCK_MEDIA_STOP, "Detener") self.insert(self.nuevo_archivo, -1) self.insert(self.abrir_archivo, -1) - self.insert(self.cerrar_archivo, -1) self.insert(self.guardar_archivo, -1) self.insert(self.guardar_como, -1) self.insert(get_separador(draw = True, ancho = 0, expand = False), -1) self.insert(self.ejecutar, -1) - + self.insert(self.detener, -1) + self.insert(self.cerrar_archivo, -1) + self.show_all()
\ No newline at end of file |