Quantcast

[ jEdit-devel ] [jedit:bugs] #3931 incorrect display scaling on MacOSX Retina (with workaround)

classic Classic list List threaded Threaded
8 messages Options
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:bugs] #3931 incorrect display scaling on MacOSX Retina (with workaround)

draeath

[bugs:#3931] incorrect display scaling on MacOSX Retina (with workaround)

Status: open
Group: normal bug
Labels: MacOSX specific
Created: Sun Oct 11, 2015 03:03 PM UTC by draeath
Last Updated: Sun Oct 11, 2015 03:03 PM UTC
Owner: nobody
Attachments:

Summary: incorrect DPI scaling with binary, direct launch of jedit.jar works correctly

Version/Environment: jEdit 5.2.0 on OSX El Capitan
java version "1.8.0_60", Java(TM) SE Runtime Environment (build 1.8.0_60-b27), Java HotSpot(TM) 64-Bit Server VM (build 25.60-b23, mixed mode)

When run with the jEdit.app/Contents/MacOS/jedit binary, scaling does not work correctly. While screen elements and fonts are rendered with the correct size, they appear to have been scaled up and look very ugly and pixelated. When run directly as "java -jar jEdit.app/Contents/Java/jedit.jar, this problem is not present and everything looks great. I have tried every included look&feel and they all exhibit this same behavior. Including a side-by-side screenshot comparison.

From the about screen, when run with the binary OR direct (doesn't change)
jEdit 5.2.0 server-background mode, using Oracle Corporation Java 1.8.0_60

Not familiar with the wrapper being used, so I won't guess as to the cause, but I suspect a JVM argument or environment variable disparity between the executed JRE from the wrapper, and the defaults when java is run direct from the terminal. I only have this one JRE installed.


Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.


------------------------------------------------------------------------------

--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:bugs] #3931 incorrect display scaling on MacOSX Retina (with workaround)

draeath

I should mention the example images were taken on a 220 DPI screen.


[bugs:#3931] incorrect display scaling on MacOSX Retina (with workaround)

Status: open
Group: normal bug
Labels: MacOSX specific
Created: Sun Oct 11, 2015 03:03 PM UTC by draeath
Last Updated: Sun Oct 11, 2015 03:03 PM UTC
Owner: nobody
Attachments:

Summary: incorrect DPI scaling with binary, direct launch of jedit.jar works correctly

Version/Environment: jEdit 5.2.0 on OSX El Capitan
java version "1.8.0_60", Java(TM) SE Runtime Environment (build 1.8.0_60-b27), Java HotSpot(TM) 64-Bit Server VM (build 25.60-b23, mixed mode)

When run with the jEdit.app/Contents/MacOS/jedit binary, scaling does not work correctly. While screen elements and fonts are rendered with the correct size, they appear to have been scaled up and look very ugly and pixelated. When run directly as "java -jar jEdit.app/Contents/Java/jedit.jar, this problem is not present and everything looks great. I have tried every included look&feel and they all exhibit this same behavior. Including a side-by-side screenshot comparison.

From the about screen, when run with the binary OR direct (doesn't change)
jEdit 5.2.0 server-background mode, using Oracle Corporation Java 1.8.0_60

Not familiar with the wrapper being used, so I won't guess as to the cause, but I suspect a JVM argument or environment variable disparity between the executed JRE from the wrapper, and the defaults when java is run direct from the terminal. I only have this one JRE installed.


Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.


------------------------------------------------------------------------------

--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:bugs] #3931 incorrect display scaling on MacOSX Retina (with workaround)

Makarius-2
In reply to this post by draeath

I have recently updated to El Capitan on my test machine, but it is rather old, without Retina. Maybe you want to try this alternative bundling of a jEdit-based application: http://www4.in.tum.de/~wenzelm/test/Isabelle_07-Oct-2015/ -- I would be interested how it works on such a recent Mac OS X system.

Concerning the official jEdit.app, my guess is that it lacks the following Info.plist entry:

<key>NSHighResolutionCapable</key>
<string>true</string>

E.g. see http://help.infinitekind.com/discussions/problems/4227-macbook-pro-retina-display-support


[bugs:#3931] incorrect display scaling on MacOSX Retina (with workaround)

Status: open
Group: normal bug
Labels: MacOSX specific
Created: Sun Oct 11, 2015 03:03 PM UTC by draeath
Last Updated: Sun Oct 11, 2015 03:51 PM UTC
Owner: nobody
Attachments:

Summary: incorrect DPI scaling with binary, direct launch of jedit.jar works correctly

Version/Environment: jEdit 5.2.0 on OSX El Capitan
java version "1.8.0_60", Java(TM) SE Runtime Environment (build 1.8.0_60-b27), Java HotSpot(TM) 64-Bit Server VM (build 25.60-b23, mixed mode)

When run with the jEdit.app/Contents/MacOS/jedit binary, scaling does not work correctly. While screen elements and fonts are rendered with the correct size, they appear to have been scaled up and look very ugly and pixelated. When run directly as "java -jar jEdit.app/Contents/Java/jedit.jar, this problem is not present and everything looks great. I have tried every included look&feel and they all exhibit this same behavior. Including a side-by-side screenshot comparison.

From the about screen, when run with the binary OR direct (doesn't change)
jEdit 5.2.0 server-background mode, using Oracle Corporation Java 1.8.0_60

Not familiar with the wrapper being used, so I won't guess as to the cause, but I suspect a JVM argument or environment variable disparity between the executed JRE from the wrapper, and the defaults when java is run direct from the terminal. I only have this one JRE installed.


Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.


------------------------------------------------------------------------------

--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:bugs] #3931 incorrect display scaling on MacOSX Retina (with workaround)

draeath
In reply to this post by draeath

Yea, I'd thought it might be that as well, but adding to the plist file didn't appear to change anything. I think that value was used for earlier Apple-supplied JREs. There were patches flying around the Oracle bug tracker back in 2013 about it, I believe.

I'll have a look at that package and see what happens with it. Download from that server is unreasonably slow, but I should be able to report back soon.


[bugs:#3931] incorrect display scaling on MacOSX Retina (with workaround)

Status: open
Group: normal bug
Labels: MacOSX specific
Created: Sun Oct 11, 2015 03:03 PM UTC by draeath
Last Updated: Sun Oct 11, 2015 06:22 PM UTC
Owner: nobody
Attachments:

Summary: incorrect DPI scaling with binary, direct launch of jedit.jar works correctly

Version/Environment: jEdit 5.2.0 on OSX El Capitan
java version "1.8.0_60", Java(TM) SE Runtime Environment (build 1.8.0_60-b27), Java HotSpot(TM) 64-Bit Server VM (build 25.60-b23, mixed mode)

When run with the jEdit.app/Contents/MacOS/jedit binary, scaling does not work correctly. While screen elements and fonts are rendered with the correct size, they appear to have been scaled up and look very ugly and pixelated. When run directly as "java -jar jEdit.app/Contents/Java/jedit.jar, this problem is not present and everything looks great. I have tried every included look&feel and they all exhibit this same behavior. Including a side-by-side screenshot comparison.

From the about screen, when run with the binary OR direct (doesn't change)
jEdit 5.2.0 server-background mode, using Oracle Corporation Java 1.8.0_60

Not familiar with the wrapper being used, so I won't guess as to the cause, but I suspect a JVM argument or environment variable disparity between the executed JRE from the wrapper, and the defaults when java is run direct from the terminal. I only have this one JRE installed.


Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.


------------------------------------------------------------------------------

--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:bugs] #3931 incorrect display scaling on MacOSX Retina (with workaround)

draeath
In reply to this post by draeath

OK, that Isabelle snapshot worked out-of-the-box. I didn't need to do anything for it to pick up the proper DPI and such.


[bugs:#3931] incorrect display scaling on MacOSX Retina (with workaround)

Status: open
Group: normal bug
Labels: MacOSX specific
Created: Sun Oct 11, 2015 03:03 PM UTC by draeath
Last Updated: Sun Oct 11, 2015 06:45 PM UTC
Owner: nobody
Attachments:

Summary: incorrect DPI scaling with binary, direct launch of jedit.jar works correctly

Version/Environment: jEdit 5.2.0 on OSX El Capitan
java version "1.8.0_60", Java(TM) SE Runtime Environment (build 1.8.0_60-b27), Java HotSpot(TM) 64-Bit Server VM (build 25.60-b23, mixed mode)

When run with the jEdit.app/Contents/MacOS/jedit binary, scaling does not work correctly. While screen elements and fonts are rendered with the correct size, they appear to have been scaled up and look very ugly and pixelated. When run directly as "java -jar jEdit.app/Contents/Java/jedit.jar, this problem is not present and everything looks great. I have tried every included look&feel and they all exhibit this same behavior. Including a side-by-side screenshot comparison.

From the about screen, when run with the binary OR direct (doesn't change)
jEdit 5.2.0 server-background mode, using Oracle Corporation Java 1.8.0_60

Not familiar with the wrapper being used, so I won't guess as to the cause, but I suspect a JVM argument or environment variable disparity between the executed JRE from the wrapper, and the defaults when java is run direct from the terminal. I only have this one JRE installed.


Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.


------------------------------------------------------------------------------

--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:bugs] #3931 incorrect display scaling on MacOSX Retina (with workaround)

Makarius-2
In reply to this post by draeath

OK. For the record: Isabelle_07-Oct-2015 uses

I actually made some experiments to use the more recent fork https://bitbucket.org/infinitekind/appbundler which also supports file associations, but it did not quite work out with an unsigned application.

I actually think that the app bundler is not relevant for the retina problem, and even official jedit 5.2.0 should work with the NSHighResolutionCapable.

Note that an application that has already been "seen" by Mac OS X needs to be updated as described at the end of http://help.infinitekind.com/discussions/problems/4227-macbook-pro-retina-display-support


[bugs:#3931] incorrect display scaling on MacOSX Retina (with workaround)

Status: open
Group: normal bug
Labels: MacOSX specific
Created: Sun Oct 11, 2015 03:03 PM UTC by draeath
Last Updated: Sun Oct 11, 2015 07:02 PM UTC
Owner: nobody
Attachments:

Summary: incorrect DPI scaling with binary, direct launch of jedit.jar works correctly

Version/Environment: jEdit 5.2.0 on OSX El Capitan
java version "1.8.0_60", Java(TM) SE Runtime Environment (build 1.8.0_60-b27), Java HotSpot(TM) 64-Bit Server VM (build 25.60-b23, mixed mode)

When run with the jEdit.app/Contents/MacOS/jedit binary, scaling does not work correctly. While screen elements and fonts are rendered with the correct size, they appear to have been scaled up and look very ugly and pixelated. When run directly as "java -jar jEdit.app/Contents/Java/jedit.jar, this problem is not present and everything looks great. I have tried every included look&feel and they all exhibit this same behavior. Including a side-by-side screenshot comparison.

From the about screen, when run with the binary OR direct (doesn't change)
jEdit 5.2.0 server-background mode, using Oracle Corporation Java 1.8.0_60

Not familiar with the wrapper being used, so I won't guess as to the cause, but I suspect a JVM argument or environment variable disparity between the executed JRE from the wrapper, and the defaults when java is run direct from the terminal. I only have this one JRE installed.


Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.


------------------------------------------------------------------------------

--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:bugs] #3931 incorrect display scaling on MacOSX Retina (with workaround)

draeath
In reply to this post by draeath

That did the trick... and it seems doing it via the terminal wasn't enough. Finder seems to do some extra work that it just doesn't tell you about.

So, yes. Inserting NSHighResolutionCapable and shuffling the .app around to invalidate this cached plist works! Looks like a simple fix for future versions, eh?


[bugs:#3931] incorrect display scaling on MacOSX Retina (with workaround)

Status: open
Group: normal bug
Labels: MacOSX specific
Created: Sun Oct 11, 2015 03:03 PM UTC by draeath
Last Updated: Sun Oct 11, 2015 07:12 PM UTC
Owner: nobody
Attachments:

Summary: incorrect DPI scaling with binary, direct launch of jedit.jar works correctly

Version/Environment: jEdit 5.2.0 on OSX El Capitan
java version "1.8.0_60", Java(TM) SE Runtime Environment (build 1.8.0_60-b27), Java HotSpot(TM) 64-Bit Server VM (build 25.60-b23, mixed mode)

When run with the jEdit.app/Contents/MacOS/jedit binary, scaling does not work correctly. While screen elements and fonts are rendered with the correct size, they appear to have been scaled up and look very ugly and pixelated. When run directly as "java -jar jEdit.app/Contents/Java/jedit.jar, this problem is not present and everything looks great. I have tried every included look&feel and they all exhibit this same behavior. Including a side-by-side screenshot comparison.

From the about screen, when run with the binary OR direct (doesn't change)
jEdit 5.2.0 server-background mode, using Oracle Corporation Java 1.8.0_60

Not familiar with the wrapper being used, so I won't guess as to the cause, but I suspect a JVM argument or environment variable disparity between the executed JRE from the wrapper, and the defaults when java is run direct from the terminal. I only have this one JRE installed.


Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.


------------------------------------------------------------------------------

--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:bugs] #3931 incorrect display scaling on MacOSX Retina (with workaround)

"Björn Kautler"
In reply to this post by draeath
  • status: open --> closed-fixed
  • assigned_to: Björn Kautler
  • Comment:

jEdit 5.4.0 has the NSHighResolutionCapable flag set in the plist


[bugs:#3931] incorrect display scaling on MacOSX Retina (with workaround)

Status: closed-fixed
Group: normal bug
Labels: MacOSX specific
Created: Sun Oct 11, 2015 03:03 PM UTC by draeath
Last Updated: Sun Oct 11, 2015 08:01 PM UTC
Owner: Björn Kautler
Attachments:

Summary: incorrect DPI scaling with binary, direct launch of jedit.jar works correctly

Version/Environment: jEdit 5.2.0 on OSX El Capitan
java version "1.8.0_60", Java(TM) SE Runtime Environment (build 1.8.0_60-b27), Java HotSpot(TM) 64-Bit Server VM (build 25.60-b23, mixed mode)

When run with the jEdit.app/Contents/MacOS/jedit binary, scaling does not work correctly. While screen elements and fonts are rendered with the correct size, they appear to have been scaled up and look very ugly and pixelated. When run directly as "java -jar jEdit.app/Contents/Java/jedit.jar, this problem is not present and everything looks great. I have tried every included look&feel and they all exhibit this same behavior. Including a side-by-side screenshot comparison.

From the about screen, when run with the binary OR direct (doesn't change)
jEdit 5.2.0 server-background mode, using Oracle Corporation Java 1.8.0_60

Not familiar with the wrapper being used, so I won't guess as to the cause, but I suspect a JVM argument or environment variable disparity between the executed JRE from the wrapper, and the defaults when java is run direct from the terminal. I only have this one JRE installed.


Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Loading...