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
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions