Opened 8 years ago
Closed 8 years ago
#14745 closed enhancement (duplicate)
Add Font Size stub menu items
Reported by: | jidanni | Owned by: | team |
---|---|---|---|
Priority: | trivial | Milestone: | |
Component: | Core | Version: | |
Keywords: | Cc: |
Description (last modified by )
I have an idea.
Apparently many users look for ways to change the font size and fail,
https://www.google.com/search?q=josm+font+size
Well how about prominently in the menus, add a Font Sizes item(s (one for landmarks, one for panel items),
which when clicked will tell the user that for the time being font
sizes, no matter for map items or panel items, cannot be changed.
At least that will save him from having to search deep into every menu.
Attachments (0)
Change History (3)
comment:1 by , 8 years ago
comment:2 by , 8 years ago
Description: | modified (diff) |
---|---|
Summary: | Add dummy Font Size(s) item prominently in the menus → Add Font Size stub menu items |
comment:3 by , 8 years ago
Resolution: | → duplicate |
---|---|
Status: | new → closed |
Closed as duplicate of #8334.
Also when the font size problem is finally fixed,
these menu items can then be uses to change the font sizes.