You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Sep 6, 2021. It is now read-only.
If you open a file with more than 1000 lines such as Editor.js and go down to the bottom, the selection arrow from the Project panel touches the line numbers. Seems like there should be a little more margin.
The text was updated successfully, but these errors were encountered:
Seems like a tough tradeoff... having a wider margin would use up space for something not super frequent. But there's also the larger issue that the gutter will eventually need to contain markers -- breakpoints, for example. We'd have to widen the gutter even further to make that work. I wonder if there are other options... making the arrow translucent maybe, or layering it underneath those other decorations, or having it clip/fade out when near them?
Not too much of a tradeoff actually. We have min-width of 2.5em. I added 10px padding-left so that we never overlap with the triangle. CodeMirror takes care of the rest as the number of digits grow.
If you open a file with more than 1000 lines such as Editor.js and go down to the bottom, the selection arrow from the Project panel touches the line numbers. Seems like there should be a little more margin.
The text was updated successfully, but these errors were encountered: