Jason Weill

By "web crawling," do you mean crawling a single page, or (optionally) crawling pages linked from a specified URL as well?

@Fcucgvhhhvjv Sorry, I don't have access to an Android 13 device; a developer with one will need to reproduce and work on this bug. You can also talk about this...

Some images don't display, and I see the following errors in the Firefox (129.0.1) dev console, with this change: ``` Cross-Origin Request Blocked: The Same Origin Policy disallows reading the...

When I expand the "Add" UI, I notice a very slight (1–2 pixel) shrink of the row. Other rows move up. (macOS, Firefox) 

When I am editing the one and only shortcut in a row, while the mouse cursor is over that row, "Add" disappears, but "or" still appears, even though there is...

I can add "SHIFT+CTRL+PERIOD" even though "CTRL+SHIFT+PERIOD" already exists as a shortcut. No alert appears when I attempt to add this functionally identical shortcut.

I can create the same shortcut, CTRL+SHIFT+] (in that order) for the same command twice. Sometimes, it appears twice; at other times, I see an overwrite non-modal dialog, and when...

@fcollonval Are you satisfied that the use cases you identified as failing earlier are now resolved? I opened separate issues for my items above. If we're all satisfied that the...

I think it would be useful to scroll the minimap in this case, or, at the very least, to provide a small `v` or `^` indicator to tell the user...

On tip of `master`, I see the search box appear to the right of the "reload" button when the file browser is expanded to 473px wide:  At 455 px...