From: Frederick W. <fre...@go...> - 2012-02-08 16:48:14
|
Bill: Thanks for the additional information. It appears that, on your local machine, JSpinner gets a null border by default (whereas it gets a non-null border on other machines) - very weird. Master should now be able to cope with that. Stefan: No need for a hotfix because the lack of robustness only applies to master/1.7. btw: Have you pushed bill's tile fix to master yet? -- Frederick |