67 lines
2.0 KiB
Python
67 lines
2.0 KiB
Python
import moo
|
|
import gtk
|
|
|
|
CONSOLE_PLUGIN_ID = "Console"
|
|
|
|
class Plugin(moo.edit.Plugin):
|
|
def __init__(self):
|
|
moo.edit.Plugin.__init__(self)
|
|
|
|
self.info = {
|
|
"id" : CONSOLE_PLUGIN_ID,
|
|
"name" : "Console",
|
|
"description" : "Console",
|
|
"author" : "Yevgen Muntyan <muntyan@math.tamu.edu>",
|
|
"version" : "3.1415926",
|
|
"enabled" : True,
|
|
"visible" : True
|
|
}
|
|
|
|
a = moo.edit.Plugin.ActionInfo(moo.edit.EditWindow, "ShowConsole",
|
|
name="Show Console",
|
|
label="Show Console",
|
|
icon_stock_id=moo.utils.STOCK_TERMINAL,
|
|
callback=self.show_console)
|
|
self.actions.append(a)
|
|
|
|
i = moo.edit.Plugin.UIInfo("Editor/Menubar/View", "ShowConsole")
|
|
self.ui.append(i)
|
|
|
|
def show_console(self, window):
|
|
pane = window.get_pane(CONSOLE_PLUGIN_ID)
|
|
window.paned.present_pane(pane)
|
|
|
|
|
|
class WinPlugin(object):
|
|
def start(self, *whatever):
|
|
if not self.terminal.child_alive():
|
|
self.terminal.soft_reset()
|
|
self.terminal.start_default_profile()
|
|
|
|
def create(self, window):
|
|
self.window = window
|
|
|
|
label = moo.utils.PaneLabel(icon_stock_id = moo.utils.STOCK_TERMINAL,
|
|
label = "Console",
|
|
window_title = "Console")
|
|
|
|
self.terminal = moo.term.Term()
|
|
self.terminal.connect("child_died", self.start)
|
|
self.start()
|
|
|
|
swin = gtk.ScrolledWindow()
|
|
swin.set_shadow_type(gtk.SHADOW_ETCHED_IN)
|
|
swin.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_AUTOMATIC)
|
|
swin.add(self.terminal)
|
|
swin.show_all()
|
|
|
|
window.add_pane(CONSOLE_PLUGIN_ID, swin, label, moo.utils.PANE_POS_BOTTOM)
|
|
|
|
return True
|
|
|
|
def destroy(self, window):
|
|
window.remove_pane(CONSOLE_PLUGIN_ID)
|
|
|
|
|
|
moo.edit.plugin_register(Plugin, WinPlugin)
|