Closed joostvanderborg closed 2 months ago
Fixes #1058:
Fixes #1059: Underline links in header, when hovered, to show the link is a link, and it's under the cursor.
Fixes #1058:
Fixes #1059: Underline links in header, when hovered, to show the link is a link, and it's under the cursor.