#8334 closed enhancement (fixed)
Option to select/configure font size
| Reported by: | naoliv | Owned by: | team |
|---|---|---|---|
| Priority: | minor | Milestone: | 20.08 |
| Component: | Core | Version: | |
| Keywords: | font | Cc: |
Description
Is it possible to have an option to configure the font size of the panels (and maybe even all the fonts) from JOSM, please?
For example, for me I would like to have a smaller font size than the current displayed size (attached).
Attachments (3)
Change History (19)
Changed 10 years ago by
| Attachment: | font-size.png added |
|---|
comment:1 Changed 10 years ago by
Have you tried other look and feel? I don't like default Metal theme, and usually prefer native theme, or Nimbus. I think they use smaller fonts.
comment:2 Changed 10 years ago by
I have tried, but I don't like any of them (Nimbus, CDE/Motif nor GTK+; Metal is the one that I like).
I still prefer to have customizable font size (it will also allow people to have a different font size (and font family maybe?) on other themes).
comment:3 follow-up: 16 Changed 10 years ago by
You can configure the map font in advanced prefs. I think for others (menu, ...) there will be a java property which modifies them. We don't set it in JOSm as far as I know.
comment:4 Changed 10 years ago by
I remember seeing something for the map font but didn't find anything related to configure the other fonts (that why I have opened this wishlist bug).
comment:5 Changed 10 years ago by
| Owner: | changed from team to Don-vip |
|---|---|
| Status: | new → assigned |
Changed 10 years ago by
| Attachment: | 8334.patch added |
|---|
comment:6 Changed 10 years ago by
Here's an alpha patch allowing to change font. It works, but the preferences dialog is much slower to open because of the combobox lazy initialization. A faster mechanism has to be written, based on LanguagePreference experience.
comment:7 Changed 8 years ago by
| Owner: | changed from Don-vip to team |
|---|---|
| Status: | assigned → new |
comment:8 Changed 8 years ago by
| Keywords: | font added |
|---|
Changed 6 years ago by
Please do something. Users of Chinese must click Edit on each item just to see what it says!
comment:10 Changed 6 years ago by
jidanni: The text is very crude and unreadable on your system. As you can see in comparison to the first attached image, this is not normal and therefore does not affect all Chinese users. Please open a separate ticket and add a status report.
comment:11 Changed 6 years ago by
Most probably Jidanni needs -Dawt.useSystemAAFontSettings=on for anti-aliased text
comment:14 Changed 2 years ago by
| Milestone: | → 20.08 |
|---|
comment:15 Changed 2 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
comment:16 Changed 6 months ago by
Replying to stoecker:
You can configure the map font in advanced prefs. I think for others (menu, ...) there will be a java property which modifies them. We don't set it in JOSm as far as I know.
I don't see a resolution to this problem. The font size on the map is OK, but the others i.e menu, dialogue boxes (such as opening files) can be really annoying. Is this really a java problem?
Example of panels with current font size