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
It would be nice to have a customisation variable that would allow the gutter to be always displayed regardless of whether there are currently any marks to display or not. This is motivated by a desire for visual consistency between multiple tabs.