1
0
This commit is contained in:
Jeff Lance 2024-03-07 12:28:42 +01:00
parent 8a773df75f
commit ee3280e945

View File

@ -867,15 +867,15 @@ c.editor.encoding = "utf-8"
## Font used in the completion categories. ## Font used in the completion categories.
## Type: Font ## Type: Font
c.fonts.completion.category = "bold 12pt JetBrainsMono Nerd Font" c.fonts.completion.category = "bold 13pt JetBrainsMono Nerd Font"
## Font used in the completion widget. ## Font used in the completion widget.
## Type: Font ## Type: Font
c.fonts.completion.entry = "bold 12pt JetBrainsMono Nerd Font Mono" c.fonts.completion.entry = "bold 13pt JetBrainsMono Nerd Font Mono"
## Font used for the debugging console. ## Font used for the debugging console.
## Type: QtFont ## Type: QtFont
c.fonts.debug_console = "bold 12pt JetBrainsMono Nerd Font Mono" c.fonts.debug_console = "bold 13pt JetBrainsMono Nerd Font Mono"
## Default font families to use. Whenever "default_family" is used in a font setting, ## Default font families to use. Whenever "default_family" is used in a font setting,
## its replaced with the fonts listed here. If set to an empty value, ## its replaced with the fonts listed here. If set to an empty value,
@ -889,39 +889,39 @@ c.fonts.default_family = ["JetBrainsMono NFP SemiBold"]
## Valid values are either a float value with a "pt" suffix, or an integer value with a "px" suffix. ## Valid values are either a float value with a "pt" suffix, or an integer value with a "px" suffix.
## Type: String ## Type: String
## Default: 10pt ## Default: 10pt
c.fonts.default_size = "12pt" c.fonts.default_size = "13pt"
## Font used for the downloadbar. ## Font used for the downloadbar.
## Type: Font ## Type: Font
c.fonts.downloads = "12pt JetBrainsMono Nerd Font Mono" c.fonts.downloads = "13pt JetBrainsMono Nerd Font Mono"
## Font used for the hints. ## Font used for the hints.
## Type: Font ## Type: Font
c.fonts.hints = "bold 12pt JetBrainsMono Nerd Font Mono" c.fonts.hints = "bold 13pt JetBrainsMono Nerd Font Mono"
## Font used in the keyhint widget. ## Font used in the keyhint widget.
## Type: Font ## Type: Font
c.fonts.keyhint = "12pt JetBrainsMono Nerd Font Mono" c.fonts.keyhint = "13pt JetBrainsMono Nerd Font Mono"
## Font used for error messages. ## Font used for error messages.
## Type: Font ## Type: Font
c.fonts.messages.error = "12pt JetBrainsMono Nerd Font Mono" c.fonts.messages.error = "13pt JetBrainsMono Nerd Font Mono"
## Font used for info messages. ## Font used for info messages.
## Type: Font ## Type: Font
c.fonts.messages.info = "12pt JetBrainsMono Nerd Font Mono" c.fonts.messages.info = "13pt JetBrainsMono Nerd Font Mono"
## Font used for warning messages. ## Font used for warning messages.
## Type: Font ## Type: Font
c.fonts.messages.warning = "12pt JetBrainsMono Nerd Font Mono" c.fonts.messages.warning = "13pt JetBrainsMono Nerd Font Mono"
## Font used for prompts. ## Font used for prompts.
## Type: Font ## Type: Font
c.fonts.prompts = "12pt JetBrainsMono Nerd Font Mono" c.fonts.prompts = "13pt JetBrainsMono Nerd Font Mono"
## Font used in the statusbar. ## Font used in the statusbar.
## Type: Font ## Type: Font
c.fonts.statusbar = "12pt JetBrainsMono Nerd Font Mono" c.fonts.statusbar = "13pt JetBrainsMono Nerd Font Mono"
## Font family for cursive fonts. ## Font family for cursive fonts.
## Type: FontFamily ## Type: FontFamily