When I worked on the new hotkeys editor I didn't get this bug on Windows or Linux Mint. Otherwise, wxWidgets isn't as perfectly cross platform as you may believe, don't even get me started about the inconsistencies due to just one window manager ignoring settings that the other does (windows styles being the most annoying), or digging into the wx source code to find out a documented function is /** todo: not implemented for XXXX OS **/.
_______________________________________________ Mailing list: https://launchpad.net/~kicad-developers Post to : [email protected] Unsubscribe : https://launchpad.net/~kicad-developers More help : https://help.launchpad.net/ListHelp
