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 was archived by the owner on Jan 11, 2023. It is now read-only.
I think there are a couple of small polish items we can make in the panel that would help a lot:
var(--theme-comment-alt);I think>>in the gutterFeel free to take any of these and make individual PRs. As a reference, the panel is here and we toggle the panel here
Here's some basic CSS for updating the prompt:
After the fix, the UI looks like.
The one gotcha will supporting dynamic gutter widths which are set in this function
resizeBreakpointGutter.