def __init__(self):
super(Gtk.HBox, self).__init__()
ConfigManager.add_callback(self.update_ui)
self.vte = Vte.Terminal()
self.pack_start(self.vte, True, True, 0)
if ConfigManager.get_conf('show-scrollbar'):
self.vscroll = Gtk.VScrollbar()
self.vscroll.set_adjustment(self.vte.get_vadjustment())
self.pack_end(self.vscroll, False, True, 0)
dir_conf = ConfigManager.get_conf('dir')
if dir_conf == '$home$':
run_dir = os.environ['HOME']
elif dir_conf == '$pwd$':
run_dir = os.getcwd()
else:
run_dir = dir_conf
self.vte.fork_command_full(Vte.PtyFlags.DEFAULT, run_dir,
ConfigManager.get_conf('shell').split(), [],
GLib.SpawnFlags.DO_NOT_REAP_CHILD, None,
None)
self.vte.connect('button-release-event', self.on_button_release)
self.update_ui()
def __init__(self, progname=[ConfigManager.get_conf('shell')], run_dir=None, term_id=0):
super(Gtk.HBox, self).__init__()
ConfigManager.add_callback(self.update_ui)
self.progname = ' '.join(progname)
self.id = VteObjectContainer.handle_id(term_id)
self.parent = 0
self.vte = Vte.Terminal()
self.pack_start(self.vte, True, True, 0)
self.vscroll = Gtk.VScrollbar(self.vte.get_vadjustment())
self.pack_start(self.vscroll, False, False, 0)
self.fork_process(progname, run_dir)
for regex_string in regex_strings:
regex_obj = GLib.Regex.new(regex_string, 0, 0)
tag = self.vte.match_add_gregex(regex_obj, 0)
self.vte.match_set_cursor_type(tag, Gdk.CursorType.HAND2)
self.vte.connect('scroll-event', self.scroll_event)
self.vte.connect('child-exited', self.on_child_exited)
self.vte.connect('button-release-event', self.on_button_release)
self.vte.connect('increase-font-size', self.change_font_size, 0.1)
self.vte.connect('decrease-font-size', self.change_font_size, -0.1)
self.update_ui()
def __init__(self):
super(Gtk.HBox, self).__init__()
ConfigManager.add_callback(self.update_ui)
self.vte = Vte.Terminal()
self.pack_start(self.vte, True, True, 0)
if ConfigManager.get_conf('show-scrollbar'):
self.vscroll = Gtk.VScrollbar()
self.vscroll.set_adjustment(self.vte.get_vadjustment())
self.pack_end(self.vscroll, False, True, 0)
dir_conf = ConfigManager.get_conf('dir')
if dir_conf == '$home$':
run_dir = os.environ['HOME']
elif dir_conf == '$pwd$':
run_dir = os.getcwd()
else:
run_dir = dir_conf
self.vte.fork_command_full(
Vte.PtyFlags.DEFAULT,
run_dir,
ConfigManager.get_conf('shell').split(),
[],
GLib.SpawnFlags.DO_NOT_REAP_CHILD,
None,
None)
self.vte.connect('button-release-event', self.on_button_release)
self.update_ui()
def __init__(self):
super(TerminalWin, self).__init__()
self.keybinding = None
self.builder = Gtk.Builder()
self.builder.add_from_file(ConfigManager.data_dir + 'ui/main.ui')
ConfigManager.add_callback(self.update_ui)
ConfigManager.show_hide_callback = self.show_hide
self.screen = self.get_screen()
self.losefocus_time = 0
self.init_transparency()
self.init_ui()
self.add_page()
self.update_ui()
if ConfigManager.get_conf('hide-on-start'):
self.hide()
def __init__(self):
super(TerminalWin, self).__init__()
self.keybinding = None
self.builder = Gtk.Builder()
self.builder.add_from_file(ConfigManager.data_dir + 'ui/main.ui')
ConfigManager.add_callback(self.update_ui)
ConfigManager.show_hide_callback = self.show_hide
self.screen = self.get_screen()
self.losefocus_time = 0
self.init_transparency()
self.init_ui()
self.add_page()
self.update_ui()
if ConfigManager.get_conf('hide-on-start'):
self.hide()
def __init__(self, name, monitor):
super(TerminalWin, self).__init__()
self.builder = Gtk.Builder()
self.builder.set_translation_domain('terra')
self.builder.add_from_file(ConfigManager.data_dir + 'ui/main.ui')
self.name = name
self.screen_id = int(name.split('-')[1])
ConfigManager.add_callback(self.update_ui)
self.screen = self.get_screen()
self.monitor = monitor
self.init_transparency()
self.init_ui()
self.update_ui()
if not ConfigManager.get_conf('hide-on-start'):
self.show_all()
self.paned_childs = []
def __init__(self, name, monitor):
super(TerminalWin, self).__init__()
self.builder = Gtk.Builder()
self.builder.set_translation_domain('terra')
self.builder.add_from_file(ConfigManager.data_dir + 'ui/main.ui')
self.name = name
self.screen_id = int(name.split('-')[1])
ConfigManager.add_callback(self.update_ui)
self.screen = self.get_screen()
self.monitor = monitor
self.init_transparency()
self.init_ui()
self.update_ui()
if not ConfigManager.get_conf('hide-on-start'):
self.show_all()
self.paned_childs = []
