Re: Best strategy to solve JavaHelp issue

2020-07-24 Thread antonio
Hi, I think this recipe deserves a small tutorial on our website. We're currently under an Apache-wide migration of Jenkins that is stopping our web-site publishing job. Maybe within a few days we can set up a small page with this. Kind regards, Antonio El 24/7/20 a las 21:02, Greg Bullock

Re: Best strategy to solve JavaHelp issue

2020-07-24 Thread Greg Bullock
Thank you for posting this. Trying it just now, the .zip file does not have a \javahelp-2.0_05\binary folder. Hoping to build the jhall.jar, I 1. downloaded the source from github.com/javaee/javahelp. and 2. in a CentOS 7 virtual machine (since my Windows 10 machine doesn't have the requir

RE: Aliased font rendering in Override popup

2020-07-24 Thread Eirik Bakke
Hmm, I wasn't able to reproduce this one--I get properly anti-aliased text in this popup on Windows 10. But yeah, it's probably specific to that particular popup. Feel free to open an issue on JIRA. (I don't think it's HiDPI-related. Rather, it's a thing that happens in various parts of the co