if index == -1:
return
elif position == "after":
index = app.terminals.index(terminal) + 1
if index == terminal_count:
return
elif position == "end":
index = len(app.terminals) - 1
else:
return
app.terminals.remove(terminal)
app.terminals.insert(index, terminal)
set_window_title()
regexp_compile_flags_none = GLib.RegexCompileFlags(0)
regexp_match_flags_none = GLib.RegexMatchFlags(0)
actions = {
"global": {
"new-tab": action_new_tab,
"close-tab": action_close_tab,
"select-tab": action_select_tab,
"move-tab": action_move_tab,
"yank-selection": action_yank_selection,
"zoom": action_zoom,
"scroll": action_scroll,
"fullscreen": action_fullscreen,
"reset-terminal": action_reset_terminal,
"reload-config": action_reload_config,
},
