While working on the user script frontend, I stumbled across a tiny refactoring opportunity in the cursor submenu: in contrast to any of our other link elements in the menu, the cursor menu items are assigned an href attribute set to #. We don’t need to do this, as href isn’t a mandatory attribute. The presence of href="#" causes the link URL to be shown in the lower right corner of the browser window, which is slightly distracting because the menu elements are not supposed to be links in the actual sense.
This PR therefore removes the href attribute assignment, so that the browser doesn’t show a URL preview tooltip on hover.
While working on the user script frontend, I stumbled across a tiny refactoring opportunity in the cursor submenu: in contrast to any of our other link elements in the menu, the cursor menu items are assigned an
hrefattribute set to#. We don’t need to do this, ashrefisn’t a mandatory attribute. The presence ofhref="#"causes the link URL to be shown in the lower right corner of the browser window, which is slightly distracting because the menu elements are not supposed to be links in the actual sense.This PR therefore removes the
hrefattribute assignment, so that the browser doesn’t show a URL preview tooltip on hover.