From: Robert S. <Rob...@ka...> - 2023-11-25 19:17:43
|
<!DOCTYPE html> <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> </head> <body> <font face="monospace">Hi all,<br> </font> <p><font face="monospace">I'm on Windows 10/11 and usually have set a system wide display scaling of 150%. Using Java 8 this hasn't had much impact for jEdit. But as of Java 11 the jedit view ist scaled as other windows, too. Generally that's fine. But the toolbar icons are also scaled and are looking bad now. Here are two small screenshots for comparison:<br> </font></p> <font face="monospace"><a class="moz-txt-link-freetext" href="https://rstyx.de/downloads/jedit%205.3%20Java%2011.png">https://rstyx.de/downloads/jedit%205.3%20Java%2011.png</a><br> </font><font face="monospace"><a class="moz-txt-link-freetext" href="https://rstyx.de/downloads/jedit%205.3%20Java%208.png">https://rstyx.de/downloads/jedit%205.3%20Java%208.png</a></font> <p><font face="monospace">Now my question: Does anyone has an idea, how to get better looking </font><font face="monospace">icons</font><font face="monospace">? May be they could be excluded from scaling or the scaling could be done another way?</font></p> <p><font face="monospace">Cheers,<br> Robert<br> </font></p> </body> </html> |