[global_config] always_split_with_profile = True borderless = True broadcast_default = off enabled_plugins = TerminalShot, LaunchpadCodeURLHandler, APTURLHandler, MavenPluginURLHandler, LaunchpadBugURLHandler inactive_color_offset = 0.860465116279 scroll_tabbar = True suppress_multiple_term_dialog = True title_hide_sizetext = True window_state = maximise [keybindings] broadcast_all = a broadcast_group = g broadcast_off = o edit_tab_title = t edit_terminal_title = x edit_window_title = t go_down = Down go_left = Left go_right = Right go_up = Up new_tab = t resize_down = Down resize_left = Left resize_right = Right resize_up = Up switch_to_tab_1 = exclam switch_to_tab_10 = at [layouts] [[default]] [[[child1]]] parent = window0 profile = default type = Terminal [[[window0]]] parent = "" type = Window [[my]] [[[child0]]] fullscreen = False last_active_term = 78a9ef63-f97a-4db8-8db8-433097d6554d last_active_window = True maximised = True order = 0 parent = "" position = 0:24 size = 1366, 744 title = /bin/bash type = Window [[[child1]]] order = 0 parent = child0 position = 369 ratio = 0.5 type = VPaned [[[terminal2]]] order = 0 parent = child1 profile = default type = Terminal uuid = 78a9ef63-f97a-4db8-8db8-433097d6554d [[[terminal3]]] order = 1 parent = child1 profile = default type = Terminal uuid = b23be12b-5d1a-4356-9150-67fabbc27a68 [plugins] [[CustomCommandsMenu]] [[[gpthr]]] command = ps -T | grep gpcam enabled = True name = gpthr position = 0 [profiles] [[default]] background_color = "#282828" background_image = None copy_on_selection = True cursor_color = "#ffffff" font = DejaVu Sans Mono 12 foreground_color = "#ebdbb2" palette = "#000000:#cc0000:#4e9a06:#c4a000:#3465a4:#75507b:#06989a:#d3d7cf:#555753:#ef2929:#8ae234:#fce94f:#729fcf:#ad7fa8:#34e2e2:#eeeeec" scrollback_infinite = True scrollback_lines = 508 urgent_bell = True