64 lines
2 KiB
Nix
64 lines
2 KiB
Nix
|
{colors, ...}: {
|
||
|
|
# General
|
||
|
|
background_opacity = "0.85";
|
||
|
|
font_family = "monospace";
|
||
|
|
font_size = 14;
|
||
|
|
disable_ligatures = "never";
|
||
|
|
cursor_shape = "underline";
|
||
|
|
cursor_blink_interval = "0.5";
|
||
|
|
cursor_stop_blinking_after = "15.0";
|
||
|
|
scrollback_lines = 10000;
|
||
|
|
click_interval = "0.5";
|
||
|
|
select_by_word_characters = ":@-./_~?&=%+#";
|
||
|
|
remember_window_size = false;
|
||
|
|
allow_remote_control = true;
|
||
|
|
initial_window_width = 640;
|
||
|
|
initial_window_height = 400;
|
||
|
|
repaint_delay = 15;
|
||
|
|
input_delay = 3;
|
||
|
|
visual_bell_duration = "0.0";
|
||
|
|
url_style = "double";
|
||
|
|
open_url_with = "default";
|
||
|
|
confirm_os_window_close = 0;
|
||
|
|
enable_audio_bell = false;
|
||
|
|
window_padding_width = 15;
|
||
|
|
window_margin_width = 10;
|
||
|
|
|
||
|
|
# Colorscheme
|
||
|
|
foreground = "#${colors.base05}";
|
||
|
|
background = "#${colors.base00}";
|
||
|
|
selection_background = "#${colors.base05}";
|
||
|
|
selection_foreground = "#${colors.base00}";
|
||
|
|
url_color = "#${colors.base04}";
|
||
|
|
cursor = "#${colors.base05}";
|
||
|
|
active_border_color = "#${colors.base03}";
|
||
|
|
inactive_border_color = "#${colors.base01}";
|
||
|
|
active_tab_background = "#${colors.base00}";
|
||
|
|
active_tab_foreground = "#${colors.base05}";
|
||
|
|
inactive_tab_background = "#${colors.base01}";
|
||
|
|
inactive_tab_foreground = "#${colors.base04}";
|
||
|
|
tab_bar_background = "#${colors.base01}";
|
||
|
|
color0 = "#${colors.base00}";
|
||
|
|
color1 = "#${colors.base08}";
|
||
|
|
color2 = "#${colors.base0B}";
|
||
|
|
color3 = "#${colors.base0A}";
|
||
|
|
color4 = "#${colors.base0D}";
|
||
|
|
color5 = "#${colors.base0E}";
|
||
|
|
color6 = "#${colors.base0C}";
|
||
|
|
color7 = "#${colors.base05}";
|
||
|
|
color8 = "#${colors.base03}";
|
||
|
|
color9 = "#${colors.base08}";
|
||
|
|
color10 = "#${colors.base0B}";
|
||
|
|
color11 = "#${colors.base0A}";
|
||
|
|
color12 = "#${colors.base0D}";
|
||
|
|
color13 = "#${colors.base0E}";
|
||
|
|
color14 = "#${colors.base0C}";
|
||
|
|
color15 = "#${colors.base07}";
|
||
|
|
color16 = "#${colors.base09}";
|
||
|
|
color17 = "#${colors.base0F}";
|
||
|
|
color18 = "#${colors.base01}";
|
||
|
|
color19 = "#${colors.base02}";
|
||
|
|
color20 = "#${colors.base04}";
|
||
|
|
color21 = "#${colors.base06}";
|
||
|
|
}
|