pixelifytica/home-manager
Archived
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Add font size to konsole config

Browse source 
Set Emacs font size programatically instead of fixed
This commit is contained in:
Evie Litherland-Smith 2024-06-20 16:32:29 +01:00
parent ab7790b983
commit d339e45fc7
2 changed files with 6 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
programs/desktop/plasma6/konsole.nix
View file

@ -6,7 +6,10 @@
profiles.onelight = { profiles.onelight = {
name = "One-Light"; name = "One-Light";
colorScheme = "onelight"; colorScheme = "onelight";
font.name = fonts.monospace.name; font = {
name = fonts.monospace.name;
size = fonts.sizes.terminal;
};
extraConfig = { extraConfig = {
"Interaction Options" = { "Interaction Options" = {
"TextEditorCmd" = 6; "TextEditorCmd" = 6;

3
programs/emacs/default.nix
View file

@ -25,6 +25,7 @@
extraConfig = let extraConfig = let
fixed-font-family = "${fonts.monospace.name}"; fixed-font-family = "${fonts.monospace.name}";
variable-font-family = "${fonts.sansSerif.name}"; variable-font-family = "${fonts.sansSerif.name}";
font-height = builtins.toString (builtins.floor (builtins.mul fonts.sizes.applications 10));
custom-theme-name = "nix"; custom-theme-name = "nix";
custom-theme = pkgs.writeTextFile { custom-theme = pkgs.writeTextFile {
name = "custom-emacs-theme"; name = "custom-emacs-theme";
@ -35,7 +36,7 @@
(custom-theme-set-faces (custom-theme-set-faces
'${custom-theme-name} '${custom-theme-name}
'(default ((t (:family "${fixed-font-family}" :height 120)))) '(default ((t (:family "${fixed-font-family}" :height ${font-height}))))
'(fixed-pitch ((t (:family "${fixed-font-family}")))) '(fixed-pitch ((t (:family "${fixed-font-family}"))))
'(fixed-pitch-serif ((t (:family "${fixed-font-family}")))) '(fixed-pitch-serif ((t (:family "${fixed-font-family}"))))
'(variable-pitch ((t (:family "${variable-font-family}"))))) '(variable-pitch ((t (:family "${variable-font-family}")))))