vscode: font sizes (#667)

Link: https://github.com/danth/stylix/pull/667

Reviewed-by: NAHO <90870942+trueNAHO@users.noreply.github.com>
This commit is contained in:
NAHO 2024-12-10 13:56:05 +01:00 committed by GitHub
commit 9f019b78fd
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -27,8 +27,27 @@ in {
extensions = [ themeExtension ];
userSettings = {
"workbench.colorTheme" = "Stylix";
"terminal.integrated.fontFamily" = "'${monospace.name}'";
"editor.fontFamily" = "'${monospace.name}'";
"editor.fontFamily" = monospace.name;
"editor.inlayHints.fontFamily" = monospace.name;
"editor.inlineSuggest.fontFamily" = monospace.name;
"scm.inputFontFamily" = monospace.name;
"debug.console.fontFamily" = monospace.name;
"markdown.preview.fontFamily" = sansSerif.name;
"chat.editor.fontFamily" = monospace.name;
# 4/3 factor used for pt to px;
"editor.fontSize" = builtins.floor (sizes.terminal * 4 / 3 + 0.5);
"debug.console.fontSize" = builtins.floor (sizes.terminal * 4 / 3 + 0.5);
"markdown.preview.fontSize" = builtins.floor (sizes.terminal * 4 / 3 + 0.5);
"terminal.integrated.fontSize" = builtins.floor (sizes.terminal * 4 / 3 + 0.5);
"chat.editor.fontSize" = builtins.floor (sizes.terminal * 4 / 3 + 0.5);
# other factors (9/14, 13/14, 56/14) based on default for given value
# divided by default for `editor.fontSize` (14) from
# https://code.visualstudio.com/docs/getstarted/settings#_default-settings.
"editor.minimap.sectionHeaderFontSize" = builtins.floor (sizes.terminal * 4 / 3 * 9 / 14 + 0.5);
"scm.inputFontSize" = builtins.floor (sizes.terminal * 4 / 3 * 13 / 14 + 0.5);
"screencastMode.fontSize" = builtins.floor (sizes.terminal * 4 / 3 * 56 / 14 + 0.5);
};
};
};