Beispiel #1
0
def get_console_widget(editor):
    try:
        return console_widget[0]
    except IndexError:
        pass

    w = create_console_widget()

    if editor.snaked_conf['MIMIC_PANEL_COLORS_TO_EDITOR_THEME']:
        mimic_to_sourceview_theme(w.view, editor.view)

    console_widget.append(w)

    editor.add_widget_to_stack(w, on_console_popup)
    return w
Beispiel #2
0
def get_console_widget(editor):
    try:
        return console_widget[0]
    except IndexError:
        pass

    w = create_console_widget()

    if editor.conf['MIMIC_PANEL_COLORS_TO_EDITOR_THEME']:
        mimic_to_sourceview_theme(w.view, editor.view)

    if editor.conf['CONSOLE_FONT']:
        w.view.modify_font(pango.FontDescription(editor.conf['CONSOLE_FONT']))

    console_widget.append(w)
    editor.window.append_panel(w)\
        .on_activate(lambda w: w.view.grab_focus())
    return w