Skip to content

Add more specific and comprehensive font setting into gui? #2684

@K404mi

Description

@K404mi

Is your feature request related to a problem? Please describe.
Default Chinese font in moonlight theme for code blocks in markdown looks horrible on my end, so I want to change it, but It's so hard to change everything without looking into every line in every files

Image

Describe the solution you'd like
Implement various font settings override into user config.
Implement a unified gui entry to override various font settings, put them all into theme section sounds good to me.

For me, I do not mess with color scheme, but I do care about the font, and I believe most people or coder specifically do the same thing, so it's nice to have a easy method to tweak it.

Describe alternatives you've considered
Write the following Additional context into docs, so if anyone want to tweak font, they don't have to spend hours to check everything like me

Additional context
Font settings are scattered across different config files, making it very hard for users to configure, afaik we have:

  1. vnotex.json(user config) to override partion of editor font, I think it not work as intended on my end, haven't test it though
  2. text-editor.theme in themes for editor font and some patterns(code blocks in moonlight for example) have their own font setting to fuck with previous settings
  3. web.css in themes for read mode
  4. interface.css in themes for ui
    Hopefully that's everything?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions