UI: Added the ability to change the font size (#1703)

This commit is contained in:
G4mingJon4s
2024-11-10 01:50:18 +01:00
committed by GitHub
parent 90cb8a9551
commit d6874d68aa
9 changed files with 99 additions and 45 deletions

View File

@@ -9562,6 +9562,8 @@ interface UserInterfaceTheme {
*/
interface IStyleSettings {
fontFamily: string;
fontSize: number;
tailFontSize: number;
lineHeight: number;
}