def plugin_unloaded(): global terminal terminal.settings.save() if terminal.is_connected(): terminal.disconnect() terminal.views_update_disable() terminal.log_buffer_disable() terminal = None return
def is_enabled(self): global terminal return terminal is not None and terminal.is_connected()