def __init__(self, notebook):
Editor.__init__(self, notebook)
self.buf = ShellBuffer(self.notebook)
self.view = ShellView(self.buf)
self.config_state = None
self.view.connect('notify::sidebar-open', self.on_notify_sidebar_open)
global_settings.watch('editor-font-is-custom', self.__update_font)
global_settings.watch('editor-font-name', self.__update_font)
self.__update_font()
self.widget = ViewSidebarLayout()
self.widget.set_view(self.view)
self.widget.set_sidebar(self.view.sidebar)
self.widget.set_sidebar_open(self.view.sidebar_open)
self.widget.connect('notify::sidebar-width',
self.on_notify_sidebar_width)
self.widget.show_all()
self.buf.worksheet.sig_filename_changed.connect(
lambda *args: self._update_filename())
self.buf.worksheet.sig_file.connect(lambda *args: self._update_file())
self.buf.worksheet.sig_code_modified.connect(
lambda *args: self._update_modified())
self.buf.worksheet.sig_state.connect(
lambda *args: self._update_state())
def __init__(self, notebook):
Editor.__init__(self, notebook)
self.buf = ShellBuffer(self.notebook, edit_only=True)
self.view = ShellView(self.buf)
self.__font_is_custom_connection = global_settings.watch(
'editor-font-is-custom', self.__update_font)
self.__font_name_connection = global_settings.watch(
'editor-font-name', self.__update_font)
self.__update_font()
self.widget = gtk.ScrolledWindow()
self.widget.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_AUTOMATIC)
self.widget.add(self.view)
self.widget.show_all()
self.buf.worksheet.sig_filename_changed.connect(
lambda *args: self._update_filename())
self.buf.worksheet.sig_file.connect(lambda *args: self._update_file())
self.buf.worksheet.sig_code_modified.connect(
lambda *args: self._update_modified())
