JavaScript never ceases to surprise me. One of these days, I had some trouble changing the theme of my PDF viewer. Usually, the browser updates the CSS rules immediately - but for some reason unknown, it doesn't refresh the ngx-extended-pdf-viewer showcase on the fly when I update the theme. More precisely, it updates it partially, but it always misses some CSS rules.
As a quick workaround, I decided to reload the page. Not exactly elegant, but this approach works. It's simple, too. All you have to do is call... well, what? Page.reload()?
StackOverflow to the rescue. And what rescue it has! Can you imagine my surprise when it offered not one, but 535 choices?
Have a look yourself: 535 options to reload your HTML page.
