developer console window size fixes

shell/console/console.py

@@ -10,8 +10,8 @@ import terminal
 window = gtk.Window()
 window.set_title('Developer console')
 
-width = gtk.gdk.screen_width()* 95 / 100
-height = gtk.gdk.screen_height() * 3 / 4
+width = gtk.gdk.screen_width() * 95 / 100
+height = gtk.gdk.screen_height() * 95 / 100
 
 window.set_default_size(width, height)
 
@@ -19,14 +19,14 @@ window.realize()
 window.window.set_type_hint(gtk.gdk.WINDOW_TYPE_HINT_DIALOG)
 
 # Memphis interface
-memphis_widget		= memphis.Interface().widget
+memphis_widget = memphis.Interface().widget
 memphis_widget.show()
 
-# Sugar log viewer interface
-logviewer_widget	= logviewer.Interface().widget
+# Log viewer interface
+logviewer_widget = logviewer.Interface().widget
 logviewer_widget.show()
 
-# Sugar log viewer interface
+# Terminal interface
 terminal_widget	= terminal.Interface().widget
 terminal_widget.show()
 

shell/console/terminal.py

@@ -9,7 +9,7 @@ class Terminal(gtk.HBox):
 		self._vte = vte.Terminal()
 		self._configure_vte()
 		self._vte.set_size(30, 5)
-		self._vte.set_size_request(200, 350)
+		self._vte.set_size_request(200, 450)
 		self._vte.show()
 		self.pack_start(self._vte)
 		
@@ -61,8 +61,8 @@ class Multiple:
 		self.notebook.show()
 		
 		self.main_vbox = gtk.VBox(False, 3)
-		self.main_vbox.pack_start(open_terminal, True, True, 5)
-		self.main_vbox.pack_start(self.notebook, True, True, 5)
+		self.main_vbox.pack_start(open_terminal, True, True, 2)
+		self.main_vbox.pack_start(self.notebook, True, True, 2)
 
 		self.main_vbox.show_all()
 	

shell/sugar-devel-console

@@ -1,6 +1,9 @@
 #!/usr/bin/env python
 
 # Sugar developer console launcher
+import pygtk
+pygtk.require('2.0')
+
 import os, sys
 from sugar import env