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

@kohlhase

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?

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