angel/FlatLaf
1
0
Fork 0
mirror of https://github.com/JFormDesigner/FlatLaf.git synced 2026-02-13 23:37:13 -06:00
Code Issues Packages Projects Releases Wiki Activity

Added option for downscaling

Browse Source
This commit is contained in:
SchiopuMatei
2021-03-15 20:41:40 +02:00
parent 04aa61c2bb
commit ed91aa4648
2 changed files with 13 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
flatlaf-core/src/main/java/com/formdev/flatlaf/FlatSystemProperties.java
View File

@@ -44,6 +44,14 @@ public interface FlatSystemProperties
*/ */
String UI_SCALE_ENABLED = "flatlaf.uiScale.enabled"; String UI_SCALE_ENABLED = "flatlaf.uiScale.enabled";
/**
* Specifies whether values smaller than 1.0f are allowed for the custom scale factor.
* <p>
* <strong>Allowed Values</strong> {@code false} and {@code true}<br>
* <strong>Default</strong> {@code false}
*/
String UI_DOWNSCALE_ENABLED = "flatlaf.uiDowncale.enabled";
/** /**
* Specifies whether Ubuntu font should be used on Ubuntu Linux. * Specifies whether Ubuntu font should be used on Ubuntu Linux.
* By default, if not running in a JetBrains Runtime, the Liberation Sans font * By default, if not running in a JetBrains Runtime, the Liberation Sans font

6
flatlaf-core/src/main/java/com/formdev/flatlaf/util/UIScale.java
View File

@@ -258,6 +258,10 @@ public class UIScale
return FlatSystemProperties.getBoolean( FlatSystemProperties.UI_SCALE_ENABLED, true ); return FlatSystemProperties.getBoolean( FlatSystemProperties.UI_SCALE_ENABLED, true );
} }
private static boolean isDownscalingEnabled() {
return FlatSystemProperties.getBoolean( FlatSystemProperties.UI_DOWNSCALE_ENABLED, false );
}
/** /**
* Applies a custom scale factor given in system property "flatlaf.uiScale" * Applies a custom scale factor given in system property "flatlaf.uiScale"
* to the given font. * to the given font.
@@ -323,7 +327,7 @@ public class UIScale
* Sets the user scale factor. * Sets the user scale factor.
*/ */
private static void setUserScaleFactor( float scaleFactor ) { private static void setUserScaleFactor( float scaleFactor ) {
if( scaleFactor <= 1f ) if( ( !isDownscalingEnabled() && scaleFactor <= 1f ) || scaleFactor <= 0f )
scaleFactor = 1f; scaleFactor = 1f;
else // round scale factor to 1/4 else // round scale factor to 1/4
scaleFactor = Math.round( scaleFactor * 4f ) / 4f; scaleFactor = Math.round( scaleFactor * 4f ) / 4f;