git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'develop' into update_212_Dec_merge_with_21125_chamges
[jalview.git]
/
getdown
/
src
/
getdown
/
core
/
src
/
main
/
java
/
jalview
/
bin
/
HiDPISetting.java
diff --git
a/getdown/src/getdown/core/src/main/java/jalview/bin/HiDPISetting.java
b/getdown/src/getdown/core/src/main/java/jalview/bin/HiDPISetting.java
index
d6d440a
..
75106cc
100644
(file)
--- a/
getdown/src/getdown/core/src/main/java/jalview/bin/HiDPISetting.java
+++ b/
getdown/src/getdown/core/src/main/java/jalview/bin/HiDPISetting.java
@@
-1,6
+1,8
@@
package jalview.bin;
import java.awt.HeadlessException;
package jalview.bin;
import java.awt.HeadlessException;
+import java.util.Locale;
+
public class HiDPISetting
{
public class HiDPISetting
{
@@
-43,7
+45,7
@@
public class HiDPISetting
static
{
String system = System.getProperty("os.name") == null ? null
static
{
String system = System.getProperty("os.name") == null ? null
- : System.getProperty("os.name").toLowerCase();
+ : System.getProperty("os.name").toLowerCase(Locale.ROOT);
if (system != null)
{
isLinux = system.indexOf("linux") > -1;
if (system != null)
{
isLinux = system.indexOf("linux") > -1;