Currently, the site does not respond to history changes, e.g. if a user clicks the back or forward button or navigates with the keyboard (e.g. cmd + left arrow).
With this PR, the site listens to history changes and responds accordingly.
(What I actually would like to have is a nice way to quickly toggle between two fonts to get a feeling for the (subtle) differences. With this PR, it is possible to do this by holding the command key and quickly click the left and right arrow, which is good enough for me.)
Currently, the site does not respond to history changes, e.g. if a user clicks the back or forward button or navigates with the keyboard (e.g. cmd + left arrow).
With this PR, the site listens to history changes and responds accordingly.
(What I actually would like to have is a nice way to quickly toggle between two fonts to get a feeling for the (subtle) differences. With this PR, it is possible to do this by holding the command key and quickly click the left and right arrow, which is good enough for me.)