#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)
by , 12 years ago
| Attachment: | font-size.png added |
|---|
comment:1 by , 12 years ago
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 by , 12 years ago
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).
follow-up: 16 comment:3 by , 12 years ago
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 by , 12 years ago
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 by , 12 years ago
| Owner: | changed from to |
|---|---|
| Status: | new → assigned |
by , 12 years ago
| Attachment: | 8334.patch added |
|---|
comment:6 by , 12 years ago
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 by , 10 years ago
| Owner: | changed from to |
|---|---|
| Status: | assigned → new |
comment:8 by , 10 years ago
| Keywords: | font added |
|---|
by , 7 years ago
Please do something. Users of Chinese must click Edit on each item just to see what it says!
comment:10 by , 7 years ago
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 by , 7 years ago
Most probably Jidanni needs -Dawt.useSystemAAFontSettings=on for anti-aliased text
comment:14 by , 4 years ago
| Milestone: | → 20.08 |
|---|
comment:15 by , 4 years ago
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
comment:16 by , 2 years ago
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