Closed arimer closed 2 months ago
It might be nice to have the possibilty to define a "sticky header" in a table and use the new idea feature for it: https://www.jetbrains.com/help/idea/sticky-lines.html
Covered for the time being by https://github.com/JetBrains/MPS-extensions/pull/929
It might be nice to have the possibilty to define a "sticky header" in a table and use the new idea feature for it: https://www.jetbrains.com/help/idea/sticky-lines.html