diff options
author | Marco Pesenti Gritti <mpg@redhat.com> | 2007-09-30 10:42:48 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <mpg@redhat.com> | 2007-09-30 10:42:48 (GMT) |
commit | c8b5ab290e1bd96eb6fadac1708a2f14b7da4d70 (patch) | |
tree | cfd21f8bbd8551daaa795fe66b724d4113b792e5 /shell/console/__init__.py | |
parent | 03a4f01c25faf2b28f59b72b817c04a7d6cee6b3 (diff) |
More work on the new console
Diffstat (limited to 'shell/console/__init__.py')
-rw-r--r-- | shell/console/__init__.py | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/shell/console/__init__.py b/shell/console/__init__.py new file mode 100644 index 0000000..d6553b7 --- /dev/null +++ b/shell/console/__init__.py @@ -0,0 +1,20 @@ +from console import Console + +console = None + +def show(): + global console + if not console: + console = Console() + console.show() + +def hide(): + if console: + console.hide() + +def toggle_visibility(): + if not console or not console.props.visible: + show() + else: + hide() + |