Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
It would be nice if there was an easy way to hide everything except the editor, and when you toggle again the same gui elements you had before comes back.
Maybe it could be configurable which elements should remain visible when you toggle.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.