2022-08-28 15:23:16 +03:00
|
|
|
{
|
|
|
|
window = {
|
|
|
|
padding = {
|
|
|
|
x = 5;
|
|
|
|
y = 5;
|
|
|
|
};
|
|
|
|
|
|
|
|
decorations = "none";
|
|
|
|
|
|
|
|
dynamic_title = true;
|
|
|
|
|
|
|
|
gtk_theme_variant = "light";
|
|
|
|
};
|
|
|
|
|
|
|
|
scrolling = {
|
|
|
|
history = 10000;
|
|
|
|
|
|
|
|
multiplier = 3;
|
|
|
|
};
|
|
|
|
|
2022-08-29 15:40:41 +03:00
|
|
|
font =
|
2022-08-28 15:23:16 +03:00
|
|
|
let
|
2022-09-21 08:08:52 +03:00
|
|
|
family = "monospace";
|
|
|
|
|
|
|
|
mkFont = style: { inherit family style; };
|
2022-08-29 15:40:41 +03:00
|
|
|
in
|
|
|
|
{
|
2022-09-21 08:08:52 +03:00
|
|
|
normal = mkFont "Regular";
|
|
|
|
bold = mkFont "Bold";
|
|
|
|
italic = mkFont "Italic";
|
|
|
|
bold_italic = mkFont "Bold Italic";
|
2022-08-28 15:23:16 +03:00
|
|
|
|
|
|
|
size = 11.0;
|
2022-08-29 15:40:41 +03:00
|
|
|
};
|
2022-08-28 15:23:16 +03:00
|
|
|
}
|