JetBrains / MPS-extensions

MPS-extensions aims to ease language development within MPS.
https://jetbrains.github.io/MPS-extensions/
Apache License 2.0
83 stars 52 forks source link

Line numbers in "MPS model Viewer" should be aligned like "Side-by-side viewer" #672

Closed mgronover closed 1 year ago

mgronover commented 1 year ago

The current situation is that line numbers are hidden by the Actions placed on the same panel:

image

The line numbers should be placed and aligned like in the "Side-by-side viewer".

mgronover commented 1 year ago

Fixed with https://github.com/JetBrains/MPS-extensions/pull/673