Hi, I'm also having the issue where I get (mostly) Retina-capable UI elements in NetLogo, but only if I launch it from the command line (i.e. going to the Applications folder and typing "java Netlogo.jar". I wonder why it's different if I click on the application normally. Any thoughts?
Thanks, Heath On Thursday, September 12, 2013 1:45:36 AM UTC-7, simone gabbriellini wrote: > Hi Seth, > > > > I have a mac with retina display, and Java 1.7 update 40 installed. > > > > It works awesome if I run netlogo from terminal, but if I run the app > > then I got an error message: no Java 1.7 found. > > > > I edited the .plist saying that Java version is 1.7, but then I > > noticed that oracle puts the new java in /Library/Java and not in > > /System/Library/Java but I don't know how to modify the plist in order > > to tell netlogo where to look... > > > > Best, > > Simone > > > > 2013/9/11 Seth Tisue <[email protected]>: > > > > > > from the Java 7u40 release notes: > > > > > > "Retina Display support on Mac OS X: Retina screens will now display > > > content correctly. Previously rendering had been blurry. See 8000629." > > > > > > Hopefully it works well with NetLogo, but I don't have a Mac with a > > > Retina display to test it on. > > > > > > -- > > > Seth Tisue | http://tisue.net > > > > > > -- > > > You received this message because you are subscribed to the Google Groups > > "netlogo-devel" group. > > > To unsubscribe from this group and stop receiving emails from it, send an > > email to [email protected]. > > > For more options, visit https://groups.google.com/groups/opt_out. > > > > > > > > -- > > Simone Gabbriellini, PhD > > > > PostDoc@DISI, University of Bologna > > mobile: +39 340 39 75 626 > > email: [email protected] > > academia.edu: http://goo.gl/7pq62 > > > > DigitalBrains srl > > Amministratore > > mobile: +39 340 39 75 626 > > email: [email protected] > > home: www.digitalbrains.it -- You received this message because you are subscribed to the Google Groups "netlogo-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
