mappaint.fontsize advanced preference doesn't change the font size

[Sylve]

Hi,

I find that the font size of JOSM (the mapping window) is way too small by default. So I changed the value mappaint.fontsize to 12, and even 16, but there is no effective change, even when I relaunch JOSM.

Is there any way to overcome this problem?

Regards,

Sylve

[Don-vip]

Can you please attach a screenshot? Thanks.

[anonymous]

Sorry for the mistake. I just added a screenshot of the problem. This one was taken with the

mappaint.fontsize

key set to 16. But it do not change anything if I put it to 8, to 12, etc.

Here are also some informations that may be useful:

What steps will reproduce the problem?

1. Change

   mappaint.fontsize
   

key to any high number (e.g. 16).

2. Relaunch JOSM.

What is the expected result?

The effective map font size would be 16.

What happens instead?

The effective map font size is still way too small, there is no change.

Please provide any additional information below. Attach a screenshot if possible.

I am using GTK+ theme, but it seems to be not related at all.

Repository Root: http://josm.openstreetmap.de/svn
Build-Date: 2015-06-16 21:45:58
Last Changed Author: Don-vip
Revision: 8491
Repository UUID: 0c6e7542-c601-0410-84e7-c038aed88b3b
Relative URL: ^/trunk
URL: http://josm.openstreetmap.de/svn/trunk
Last Changed Date: 2015-06-16 23:27:08 +0200 (Tue, 16 Jun 2015)
Last Changed Rev: 8491

Identification: JOSM/1.5 (8491 fr) Linux Debian GNU/Linux 8.1 (jessie)
Memory Usage: 165 MB / 1753 MB (60 MB allocated, but free)
Java version: 1.7.0_79, Oracle Corporation, OpenJDK 64-Bit Server VM
Java package: openjdk-7-jre:amd64-7u79-2.5.6-1~deb8u1
WebStart package: icedtea-netx:amd64-1.5-2+deb8u1
VM arguments: [-Dicedtea-web.bin.name=javaws, -Dicedtea-web.bin.location=/usr/bin/javaws, -Djava.security.manager, -Djava.security.policy=/etc/icedtea-web/javaws.policy]
Dataset consistency test: No problems found

Regards,

Sylve

[Klumbumbus]

This is a problem of screens with smaller pixels today (retina screens) because the font gets smaller.
The font-size of the default mappaint style is not affected by the preference mappaint.fontsize because the default style has his own definition within the style, see https://josm.openstreetmap.de/browser/josm/trunk/styles/standard/elemstyles.mapcss#L4666

As a workaround you can use the following attached mapcss file, edit it in a text editor to choose your preffered font size and add it to the mappaint styles in JOSM (in the preferences https://josm.openstreetmap.de/wiki/Help/Preferences/Map#MapPaintStyles click on the plus sign top right)

[Sylve]

Thanks a lot for your answer, this solution is working very well.

Thanks again,

Sylve

[richlv]

#18095 asks for an easier way to change mappaint font size.