2006-11-16 13:09:07 +01:00
|
|
|
#!/usr/bin/env python
|
|
|
|
|
|
|
|
import gtk
|
|
|
|
|
|
|
|
# Console interfaces
|
|
|
|
import memphis
|
|
|
|
import logviewer
|
|
|
|
import terminal
|
|
|
|
|
|
|
|
window = gtk.Window()
|
|
|
|
window.set_title('Developer console')
|
|
|
|
|
2006-11-16 14:46:13 +01:00
|
|
|
width = gtk.gdk.screen_width() * 95 / 100
|
|
|
|
height = gtk.gdk.screen_height() * 95 / 100
|
2006-11-16 13:09:07 +01:00
|
|
|
|
|
|
|
window.set_default_size(width, height)
|
|
|
|
|
|
|
|
window.realize()
|
|
|
|
window.window.set_type_hint(gtk.gdk.WINDOW_TYPE_HINT_DIALOG)
|
|
|
|
|
|
|
|
# Memphis interface
|
2006-11-16 14:46:13 +01:00
|
|
|
memphis_widget = memphis.Interface().widget
|
2006-11-16 13:09:07 +01:00
|
|
|
memphis_widget.show()
|
|
|
|
|
2006-11-16 14:46:13 +01:00
|
|
|
# Log viewer interface
|
|
|
|
logviewer_widget = logviewer.Interface().widget
|
2006-11-16 13:09:07 +01:00
|
|
|
logviewer_widget.show()
|
|
|
|
|
2006-11-16 14:46:13 +01:00
|
|
|
# Terminal interface
|
2006-12-04 20:12:24 +01:00
|
|
|
terminal_widget = terminal.Interface().widget
|
2006-11-16 13:09:07 +01:00
|
|
|
terminal_widget.show()
|
|
|
|
|
|
|
|
# Notebook
|
|
|
|
notebook = gtk.Notebook()
|
|
|
|
notebook.append_page(memphis_widget, gtk.Label('Memphis'))
|
|
|
|
notebook.append_page(logviewer_widget, gtk.Label('Log Viewer'))
|
|
|
|
notebook.append_page(terminal_widget, gtk.Label('Terminal'))
|
|
|
|
|
|
|
|
notebook.show()
|
|
|
|
|
|
|
|
window.add(notebook)
|
|
|
|
window.show()
|
|
|
|
gtk.main()
|