stylix/modules/vscode/hm.nix

67 lines
2.2 KiB
Nix
Raw Permalink Normal View History

{
pkgs,
config,
lib,
...
}:
2022-10-26 18:29:56 +01:00
with config.stylix.fonts;
2022-10-26 18:29:56 +01:00
let
themeFile = config.lib.stylix.colors {
2023-07-14 12:50:08 +01:00
template = ./template.mustache;
2022-10-26 18:29:56 +01:00
extension = ".json";
};
themeExtension =
pkgs.runCommandLocal "stylix-vscode"
{
vscodeExtUniqueId = "stylix.stylix";
vscodeExtPublisher = "stylix";
version = "0.0.0";
}
''
mkdir -p "$out/share/vscode/extensions/$vscodeExtUniqueId/themes"
ln -s ${./package.json} "$out/share/vscode/extensions/$vscodeExtUniqueId/package.json"
ln -s ${themeFile} "$out/share/vscode/extensions/$vscodeExtUniqueId/themes/stylix.json"
'';
2022-10-26 18:29:56 +01:00
in
{
2022-10-26 18:29:56 +01:00
options.stylix.targets.vscode.enable =
config.lib.stylix.mkEnableTarget "VSCode" true;
config =
lib.mkIf (config.stylix.enable && config.stylix.targets.vscode.enable)
{
programs.vscode = {
extensions = [ themeExtension ];
userSettings = {
"workbench.colorTheme" = "Stylix";
"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;
2024-12-09 13:04:38 -05:00
# 4/3 factor used for pt to px;
"editor.fontSize" = sizes.terminal * 4.0 / 3.0;
"debug.console.fontSize" = sizes.terminal * 4.0 / 3.0;
"markdown.preview.fontSize" = sizes.terminal * 4.0 / 3.0;
"terminal.integrated.fontSize" = sizes.terminal * 4.0 / 3.0;
"chat.editor.fontSize" = sizes.terminal * 4.0 / 3.0;
2024-12-09 13:04:38 -05:00
# 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" =
sizes.terminal * 4.0 / 3.0 * 9.0 / 14.0;
"scm.inputFontSize" = sizes.terminal * 4.0 / 3.0 * 13.0 / 14.0;
"screencastMode.fontSize" = sizes.terminal * 4.0 / 3.0 * 56.0 / 14.0;
};
};
};
2022-10-26 18:29:56 +01:00
}