fix font typo and add scaling caveat

benfry · benfry · commit 3eb6fdaec061 · 2017-02-12T12:28:44.000-05:00
diff --git a/app/src/processing/app/ui/Toolkit.java b/app/src/processing/app/ui/Toolkit.java
@@ -1036,7 +1036,7 @@ static public Font getSansFont(int size, int style) {
         }
         */
         sansFont = createFont("ProcessingSansPro-Regular.ttf", size);
-        sansBoldFont = createFont("SourceSansPro-Semibold.ttf", size);
+        sansBoldFont = createFont("ProcessingSansPro-Semibold.ttf", size);
 
         // additional language constraints
         if ("el".equals(Language.getLanguage())) {
diff --git a/build/shared/revisions.txt b/build/shared/revisions.txt
@@ -3,12 +3,16 @@ PROCESSING 3.3 (REV 0257) - 12 February 2017
 This release adds the ability to the scale the UI or high-resolution
 (known as HiDPI) screens on Windows and Linux. Sketches don't scale yet,
 but this will at least make the Editor and Contribution Manager usable
-again on more recent Windows and Linux laptops. This release also attempts
-to fix several other Windows bugs, detailed below.
+again on more recent Windows and Linux laptops.
 
-The "unconfirmed" fixes section is a handful of issues that I've never
-been able to reproduce, but that should now be fixed. Please confirm at
-the links listed to let me know if it's working.
+Note: the scaling feature is only meant to patch up problems on HiDPI
+devices, it does not provide an all-purpose means for scaling UI elements
+independent of the OS.
+
+This release also attempts to fix several other Windows bugs, detailed
+below. The "unconfirmed" fixes section is a handful of issues that I've
+never been able to reproduce, but that should now be fixed. Please
+confirm at the links listed to let me know if it's working.
 
 This is release 3.3 instead of 3.2.5 due to the huge change to the PDE
 for scaling, as well as minor API modifications (see below). 

Original file line number	Diff line number	Diff line change
`@@ -1036,7 +1036,7 @@ static public Font getSansFont(int size, int style) {`
`1036`	`1036`	`}`
`1037`	`1037`	`*/`
`1038`	`1038`	`sansFont = createFont("ProcessingSansPro-Regular.ttf", size);`
`1039`		`- sansBoldFont = createFont("SourceSansPro-Semibold.ttf", size);`
	`1039`	`+ sansBoldFont = createFont("ProcessingSansPro-Semibold.ttf", size);`
`1040`	`1040`
`1041`	`1041`	`// additional language constraints`
`1042`	`1042`	`if ("el".equals(Language.getLanguage())) {`