diff options
| -rw-r--r-- | IdeMain.py | 2 | ||||
| -rw-r--r-- | InfoNotebook.py | 3 |
2 files changed, 3 insertions, 2 deletions
@@ -64,7 +64,7 @@ class IdeMain(Gtk.Window): #self.set_title("") #self.set_icon_from_file(".png") self.set_resizable(True) - self.set_size_request(800, 600) + self.set_size_request(640, 480) self.set_border_width(5) self.set_position(Gtk.WindowPosition.CENTER) diff --git a/InfoNotebook.py b/InfoNotebook.py index 281ac2e..6efe337 100644 --- a/InfoNotebook.py +++ b/InfoNotebook.py @@ -92,7 +92,8 @@ class InfoNotebook(Gtk.Notebook): Recibe nombre y contenido de archivo para realizar introspeccion sobre él. """ - + if nombre == "False": + nombre = "Introspección" self.set_tab_label_text(self.get_nth_page(0), nombre) self.introspeccion.set_introspeccion(nombre, texto) |