💾 Archived View for gemini.6px.eu › jimmy › devlog › 2023-02-07-bug-fixes.gmi captured on 2023-03-20 at 17:24:32. Gemini links have been rewritten to link to archived content

View Raw

More Information

-=-=-=-=-=-=-

🪰 Two less bugs in Jimmy!

I finally got around to fixing a couple of bugs that were submitted by Acidus99 on GitHub:

one where the search popover was appearing when typing in the url bar and stealing focus so that it was basically impossible to type in the URL bar.

Another one where reloading a page would add an extra entry to the history, so you had to go back twice to arrive to where you were before.

Both pretty annoying bugs that I am glad I managed to fix without much difficulty, even after nearly a year without opening the project.

The latest release is at the usual link:

🚀 Latest release of Jimmy

Or on GitHub as well:

v0.2.4 release