blob: f5faa3d15152cb618cff3a10f68650971fec6482 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
live_config_reload = true
[colors.bright]
black = "0x666666"
blue = "0x7aa6da"
cyan = "0x54ced6"
green = "0x9ec400"
magenta = "0xb77ee0"
red = "0xff3334"
white = "0xffffff"
yellow = "0xe7c547"
[colors.normal]
black = "0x000000"
blue = "0x7aa6da"
cyan = "0x70c0ba"
green = "0xb9ca4a"
magenta = "0xc397d8"
red = "0xd54e53"
white = "0xeaeaea"
yellow = "0xe6c547"
[colors.primary]
background = "0x000000"
foreground = "0xeaeaea"
[cursor]
unfocused_hollow = true
[cursor.style]
shape = "Block"
[font]
size = 9.0
[font.bold]
family = "InputMono"
style = "Bold"
[font.glyph_offset]
x = 0
y = 0
[font.italic]
family = "InputMono"
[font.normal]
family = "InputMono"
[[mouse.bindings]]
action = "PasteSelection"
mode = "~Vi"
mouse = "Middle"
# [mouse.double_click]
# threshold = 300
# [mouse.triple_click]
# threshold = 300
[scrolling]
history = 10000
multiplier = 3
[selection]
save_to_clipboard = false
[window]
dynamic_padding = false
dynamic_title = true
opacity = 0.96
startup_mode = "Windowed"
[window.dimensions]
columns = 0
lines = 0
[window.padding]
x = 0
y = 0
|