Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

add tooltip to various symbols #378

Open
peterstadler opened this issue Jan 7, 2021 · 1 comment
Open

add tooltip to various symbols #378

peterstadler opened this issue Jan 7, 2021 · 1 comment
Assignees
@peterstadler
Labels
enhancement tech:JavaScript

Comments

@peterstadler
Copy link
Member

a. currency symbols
b. idiosyncratic Weber symbols: Circular, Kuss-Platzhalter, etc.
@peterstadler peterstadler self-assigned this Jan 7, 2021
peterstadler added a commit that referenced this issue Jan 15, 2021
@peterstadler
add tooltips to first set of symbols #378
89b8fce
@peterstadler
Copy link
Member Author

@CharleneJakob ergänzt:

c. diverse Symbole für Umbrüche (Seite, Spalte)

peterstadler added a commit that referenced this issue Sep 6, 2022
@peterstadler
add tooltips to first set of symbols #378
9546cef
@peterstadler peterstadler added this to the Release 4.7 milestone Sep 6, 2022
@peterstadler peterstadler modified the milestones: Release 4.7, Release 4.8 Feb 17, 2023
@peterstadler peterstadler modified the milestones: Release 4.8, Release 4.9 Aug 20, 2023
@peterstadler peterstadler removed this from the Release 4.9 milestone Jan 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@peterstadler peterstadler

Labels
enhancement tech:JavaScript
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@peterstadler