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

Support for lines having different heights #2657

Closed
fabiospampinato opened this issue Sep 11, 2021 · 3 comments
Closed

Support for lines having different heights #2657

fabiospampinato opened this issue Sep 11, 2021 · 3 comments

Comments

@fabiospampinato
Copy link

fabiospampinato commented Sep 11, 2021

I work on a Markdown-based note-taking app, and one of the requests I'm hearing most frequently is being able to have headings in the editor is a bigger font, so that they are easier to spot and more closely resemble their look once rendered.

For example a competitor app can do this because they are using CodeMirror:

Screen Shot 2021-09-11 at 15 17 10

While mine, which uses Monaco, can't do the same:

Screen Shot 2021-09-11 at 15 18 42

Another somewhat subtle but noticeable improvement deriving from being able to do this is that the height of the Markdown text and the height of the HTML document can match much more closely, which leads to buttery-smooth synchronized scrolling. If the height of headings don't match at all the scrolling gets a little bit wobbly.

It'd be really nice to have this capability in Monaco. I understand that Monaco is perhaps more geared toward code than CodeMirror is, but Markdown is perhaps what every programmer uses too and this would be a nice improvement for them.

@fabiospampinato fabiospampinato changed the title Support for lines with different height Support for lines having different heights Sep 11, 2021
@hediet
Copy link
Member

hediet commented Dec 13, 2022

Let's track this in microsoft/vscode#147067.

@hediet hediet closed this as not planned Won't fix, can't repro, duplicate, stale Dec 13, 2022
@sagarkardani
Copy link

@fabiospampinato
Have you somehow achieved variable line heights ?
I have some different line padding related requirements here.

@fabiospampinato
Copy link
Author

@sagarkardani no I'm not aware of a reasonable way of doing it.

@github-actions github-actions bot locked and limited conversation to collaborators Jan 27, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants