File: 08-use_noto_font.patch

package info (click to toggle)
josm 0.0.svn14760%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 187,192 kB
  • sloc: java: 317,260; xml: 197,001; perl: 10,125; jsp: 250; sh: 112; makefile: 94; python: 29
file content (16 lines) | stat: -rw-r--r-- 746 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
Description: Use Noto font instead of Droid.
Author: Bas Couwenberg <sebastic@debian.org>
Bug-Debian: https://bugs.debian.org/804683
Forwarded: https://josm.openstreetmap.de/ticket/12085

--- a/src/org/openstreetmap/josm/gui/mappaint/styleelement/StyleElement.java
+++ b/src/org/openstreetmap/josm/gui/mappaint/styleelement/StyleElement.java
@@ -162,7 +162,7 @@ public abstract class StyleElement imple
             synchronized (lock) {
                 n = defaultFontName;
                 if (n == null) {
-                    defaultFontName = n = Config.getPref().get("mappaint.font", "Droid Sans");
+                    defaultFontName = n = Config.getPref().get("mappaint.font", "Noto Sans");
                 }
             }
         }