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
Hello, there is a small bug, and some possible improvements of the sidebar:
there is a bug where the visibility of the sidebar is not correctly kept between page changes/navigation, when the browser window was smaller than 1080 pixels wide (even if you explicitly clicked to show the sidebar, if you refresh or change page, it will disappear again)
the sidebar width could be saved as well as its visibility status
the sidebar “configuration” could be saved in sessionStorage instead or localStorage. Rationale: if you open multiple browser windows that have different sizes, you may want different configurations for the sidebar for each window.
when the page is first opened, the sidebar is either shown or hidden (by default) depending on the browser window’s width, but if you don’t interact with the sidebar visibility button, this default will not be stored anywhere, so if the user resizes the window then refreshes the page, the sidebar might unexpectedly disappear.
These all are minor issues, but annoying, and they can be fixed/improved relatively easily.
I actually worked on a fix for all that (I started working on it before I read the contributing guidelines and its warning to not work on a pull request before submitting an issue, sorry 😔 so I decided to finish), so I’ll still link a PR just in case.
Steps
open a window smaller than 1080 pixels horizontally
click the “Toggle table of contents” button to show the sidebar
hit F5 to refresh the page
the sidebar has disappeared again
Possible Solution(s)
No response
Notes
No response
Version
v0.4.48
The text was updated successfully, but these errors were encountered:
Problem
Hello, there is a small bug, and some possible improvements of the sidebar:
sessionStorage
instead orlocalStorage
. Rationale: if you open multiple browser windows that have different sizes, you may want different configurations for the sidebar for each window.These all are minor issues, but annoying, and they can be fixed/improved relatively easily.
I actually worked on a fix for all that (I started working on it before I read the contributing guidelines and its warning to not work on a pull request before submitting an issue, sorry 😔 so I decided to finish), so I’ll still link a PR just in case.
Steps
Possible Solution(s)
No response
Notes
No response
Version
The text was updated successfully, but these errors were encountered: