Hook the log viewer to F12

This commit is contained in:
Marco Pesenti Gritti
2006-10-16 15:29:32 +02:00
parent 07dd398e22
commit 5cee6aa01d
3 changed files with 16 additions and 6 deletions
+7
View File
@@ -46,6 +46,12 @@ class LogBuffer(gtk.TextBuffer):
return True
window = gtk.Window()
window.set_default_size(gtk.gdk.screen_width() * 3 / 4,
gtk.gdk.screen_height() * 3 / 4)
window.realize()
window.window.set_type_hint(gtk.gdk.WINDOW_TYPE_HINT_DIALOG)
scrolled = gtk.ScrolledWindow()
scrolled.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_AUTOMATIC)
@@ -58,6 +64,7 @@ textview.show()
window.add(scrolled)
scrolled.show()
window.show()
gtk.main()