Skip to content
This repository was archived by the owner on May 16, 2025. It is now read-only.
This repository was archived by the owner on May 16, 2025. It is now read-only.

hover texts for all interface elements #98

Description

@kohlhase

I really like the hover text for the new "report an issue button". All interface elements should have hover texts like this one. Here are some proposed texts:

  • statistics: statistics about contents of the current library|archive|file|... (where the correct level is named
  • responsible: the person responsible for curating the content of this library|archive|file|...
  • view source: view/edit the source of this library|archive|file|... in the MathHub repository

and then the top-level menu items (can they have hover texts at all)

  • MathHub: Active Flexiformal Mathematics
  • About: `Find out more about MathHub (Documentation)
  • Applications: `Mathematical Services that feed on MathHub content'

It would be great, if the hover texts were in a separate file somewhere, where they could be updated(supplied) by people like me without having to understand the code.
@tkw1536 could you comment?

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions