-
Notifications
You must be signed in to change notification settings - Fork 29.8k
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 variable line heights in the editor #147067
Comments
It is not clear yet what mechanism will be used for that. How would you add that image if you could set the line height? By using css? |
It's already supported, the image is just very small (1 line). In decoration options Hmmm, actually it renders the full image ignoring window.activeTextEditor?.setDecorations(window.createTextEditorDecorationType({
after: {
contentIconPath: Uri.parse('https://random.imagecdn.app/500/150'),
margin: '0 20ch',
height: '2ch',
width: '2ch',
},
}), [new Range(0, 0, 0, 0)]); |
Another use case would be shrinking empty lines #66468 Visual Studio has an extension (by Microsoft) to do that. https://marketplace.visualstudio.com/items?itemName=VisualStudioPlatformTeam.SyntacticLineCompression2022 |
+1 on this
|
+1 Trying to migrate over to VS Code and the shrink empty lines extension for Visual Studio was amazing |
This would allow to use larger font sizes for markdown headers.
The text was updated successfully, but these errors were encountered: