feat: editor lineheight adjust in theme settings and performance improvements for editor scroll/render #1943
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Screenshots (if applicable)
Screencast.from.23-11-24.04.37.50.PM.IST.webm
Summary
border-left
on the::before
pseudo element based approach which is performant to render in safari.Key Changes
Editor Enhancements
Indent Guides Improvements
phcode-indent-guides-none
) for scenarios where indent guides are disabled. This was needed as the border elem used for the indent guide takes 1px screen space, and if we remove the border on diosabling indent guide, there will be a sudden jerk as all the 1px guide lines width get subtracted from the editor. so we now use a transparent border to disable indent guides and remove the text jerk.Theme Settings
brackets_core_ui_variables.css
, to clean up the codebase.Testing
Manual Testing:
** Tests**:
Breaking Changes