From e7ff0085252d5df24583b60400a012520c8c0dd4 Mon Sep 17 00:00:00 2001
From: Ignacio Rodríguez <ignaciorodriguez@sugarlabs.org>
Date: Sun, 26 May 2013 23:38:13 +0000
Subject: Si no hay una archivo abierto, la lengüeta de introspección cambia su nombre a 'Introspección'

---
diff --git a/IdeMain.py b/IdeMain.py
index 8241d69..ff059b0 100644
--- a/IdeMain.py
+++ b/IdeMain.py
@@ -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)
         
--
cgit v0.9.1