Display of Icons with system wide display scaling

Robert Schwenn <[email protected]> Sat, 25 Nov 2023 20:17:25 +0100
Newsgroups	gmane.editors.jedit.user
Message-ID	<[email protected]>
--===============1913030752298550745==
Content-Language: en-US
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 7bit

<!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>


--===============1913030752298550745==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============1913030752298550745==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

-- 
-----------------------------------------------
jEdit Users' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-users

--===============1913030752298550745==--