Skip to content

Instantly share code, notes, and snippets.

@gordinmitya
Last active June 22, 2023 14:43
Show Gist options
  • Save gordinmitya/5420cfd82991a393960f5a32eac01cde to your computer and use it in GitHub Desktop.
Save gordinmitya/5420cfd82991a393960f5a32eac01cde to your computer and use it in GitHub Desktop.
Fix terminator tab size
# ~/.config/terminator/config
[global_config]
scroll_tabbar = True
[keybindings]
switch_to_tab_1 = <Alt>1
switch_to_tab_2 = <Alt>2
switch_to_tab_3 = <Alt>3
switch_to_tab_4 = <Alt>4
switch_to_tab_5 = <Alt>5
switch_to_tab_6 = <Alt>6
switch_to_tab_7 = <Alt>7
switch_to_tab_8 = <Alt>8
switch_to_tab_9 = <Alt>9
[profiles]
[[default]]
background_color = "#002b36"
cursor_color = "#aaaaaa"
foreground_color = "#839496"
[layouts]
[[default]]
[[[window0]]]
type = Window
parent = ""
[[[child1]]]
type = Terminal
parent = window0
profile = default
[plugins]
// ~/.config/gtk-3.0/gtk.css
.terminator-terminal-window notebook tab {
min-height: 0;
padding: 0px;
}
.terminator-terminal-window notebook tab button {
min-height: 0;
min-width: 0;
padding: 0px;
margin: 0px;
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment