zed: convert font sizes from pt to px (#766)

Reviewed-by: NAHO <90870942+trueNAHO@users.noreply.github.com>
This commit is contained in:
musjj 2025-01-11 00:28:33 +07:00 committed by GitHub
parent 168306ce7f
commit f1e003194c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -21,10 +21,10 @@ in
{
programs.zed-editor.userSettings = {
"buffer_font_family" = config.stylix.fonts.monospace.name;
"buffer_font_size" = config.stylix.fonts.sizes.terminal;
"buffer_font_size" = config.stylix.fonts.sizes.terminal * 4.0 / 3.0;
"theme" = "Base16 ${config.lib.stylix.colors.scheme-name}";
"ui_font_family" = config.stylix.fonts.sansSerif.name;
"ui_font_size" = config.stylix.fonts.sizes.applications;
"ui_font_size" = config.stylix.fonts.sizes.applications * 4.0 / 3.0;
};
xdg.configFile."zed/themes/nix.json".source = theme;