diff options
| author | Marco Pesenti Gritti <mpg@redhat.com> | 2007-09-30 12:24:03 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <mpg@redhat.com> | 2007-09-30 12:24:03 (GMT) |
| commit | ce72600b02aa2235fc9cc161b20ff24bcb5f6703 (patch) | |
| tree | 342b360e17646b7326d61857583a33699eb9d664 /shell/console/__init__.py | |
| parent | c8b5ab290e1bd96eb6fadac1708a2f14b7da4d70 (diff) | |
Make the Shell own the console. Some view changes.
Diffstat (limited to 'shell/console/__init__.py')
| -rw-r--r-- | shell/console/__init__.py | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/shell/console/__init__.py b/shell/console/__init__.py index d6553b7..5e15721 100644 --- a/shell/console/__init__.py +++ b/shell/console/__init__.py @@ -1,20 +1 @@ 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() - |