Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Perhaps worth measuring initial indent for variable-width fonts? #4

Open
joliss opened this issue Mar 13, 2024 · 0 comments
Open

Perhaps worth measuring initial indent for variable-width fonts? #4

joliss opened this issue Mar 13, 2024 · 0 comments

Comments

@joliss
Copy link

joliss commented Mar 13, 2024

I wonder if it's worth measuring the pixel-width of the initial indent using view.coordsAtPos, rather than using ${numColumns}ch, in order to accommodate variable-width fonts.

Here's a screenshot of my CodeMirror instance for editing Markdown, which uses syntax highlighting with both monospaced and variable-width fonts. The monospaced indent works fine, but with variable-width, we indent too much, because 1ch is wider than a sans-serif blank space.

image
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant