blob: f878cd1655a8b8d60211013d2ea3b8b0acbf74fb (
plain) (
blame)
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
|
{ ... }:
{
programs.alacritty = {
enable = true;
settings = {
window = {
dimensions = {
columns = 80;
lines = 24;
};
# Window padding (changes require restart)
#
# Blank space added around the window in pixels. This padding is scaled
# by DPI and the specified value is always added at both opposing sides.
padding = {
x = 2;
y = 2;
};
# Spread additional padding evenly around the terminal content.
dynamic_padding = false;
# Window decorations
#
# Values for `decorations`:
# - full: Borders and title bar
# - none: Neither borders nor title bar
decorations = "full";
startup_mode = "Windowed";
dynamic_title = true;
};
scrolling = {
history = 10000;
multiplier = 3;
};
font = {
normal.family = "Source Code Pro";
bold = {
family = "Source Code Pro";
style = "Bold";
};
italic = {
family = "Source Code Pro";
style = "Italic";
};
size = 16;
offset = {
x = 0;
y = 0;
};
glyph_offset = {
x = 0;
y = 0;
};
};
bell = {
animation = "EaseOutExpo";
duration = 0;
color = "0xffffff";
};
};
};
}
|
