Skip to content
This repository has been archived by the owner on Oct 30, 2023. It is now read-only.

Respect Options | Appearance | Quick font size adjustment #8

Open
pm64 opened this issue Aug 4, 2022 · 0 comments
Open

Respect Options | Appearance | Quick font size adjustment #8

pm64 opened this issue Aug 4, 2022 · 0 comments
Labels
enhancement New feature or request good first issue Good for newcomers

Comments

@pm64
Copy link

pm64 commented Aug 4, 2022

Currently, quick font size adjustment (ctrl+scroll or pinch-zoom) is not handled by text files displayed by this plug-in, so the setting is not respected.

I'm currently working around this by using the Minimal Theme Settings plug-in, which adds hotkey settings for font size increase/decrease. I then add the following CSS snippet:

div.workspace-leaf-content[data-type="text/plain (no file)"] div.CodeMirror.cm-s-default {
    font-size: var(--font-text-size);
}

I can then adjust font size using my keyboard, but this is not a great solution.

@dbarenholz dbarenholz added enhancement New feature or request good first issue Good for newcomers labels Jun 6, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
enhancement New feature or request good first issue Good for newcomers
Projects
None yet
Development

No branches or pull requests

2 participants