vscode: don't round font sizes (#691)
Link: https://github.com/danth/stylix/pull/691 Reviewed-by: NAHO <90870942+trueNAHO@users.noreply.github.com>
This commit is contained in:
parent
a2d66f2547
commit
4f489c6393
1 changed files with 8 additions and 8 deletions
|
|
@ -36,18 +36,18 @@ in {
|
|||
"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);
|
||||
"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;
|
||||
|
||||
# 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);
|
||||
"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;
|
||||
};
|
||||
};
|
||||
};
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue