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
Currently the "Hide Lines" feature cannot really be used properly if you have the "Bookmark margin" option is turned off, as it is the only way it seems to unhide a hidden line once hidden with the toggles for it being in the margin part.
A possible solution is to add a context "Unhide Lines" similar to just "Hide Lines" we have already.
The text was updated successfully, but these errors were encountered:
Currently the "Hide Lines" feature cannot really be used properly if you have the "Bookmark margin" option is turned off, as it is the only way it seems to unhide a hidden line once hidden with the toggles for it being in the margin part.
A possible solution is to add a context "Unhide Lines" similar to just "Hide Lines" we have already.
The text was updated successfully, but these errors were encountered: