Fixing this problem for DailyDownloader users requires a minor launcher change only. I know exactly what to do on my endSomeone just posted this over at reddit as a client-side fix for scaling issues. I feel like there should be enough info there to have mafia properly handle things (by adding to build.xml I guess?), but I couldn't figure it out.
Unless I misread it, mafia can't handle it because the fix is to apply a file to the enduser's Java installation folder.
I just released DailyDownloader v7 with a fix for this, along with other issues: http://kolmafia.us/showthread.php?1...ily-Downloader&p=133741&viewfull=1#post133741
Point taken; the issue is with the first executable used to get things going not having the correct manifest settings for Windows to figure out that it is dealing with an application that understands display scaling. For DailyDownloader users on Windows, that's DDLauncher, which has been updated to have the needed settings per the Reddit post linked earlier. Since only the initially launched EXE matters, updating the launcher is sufficient - neither Java nor the registry needs editing.
100% correct, there's no way to fix the JAR builds.Got it. But since you fixed it in an EXE that runs before Java gets invoked, I'm not sure that solution is available to/worth implementing for KoLmafia. Thank you.