Pcbnew: Hight contrast mode: commit last patch from Miguel Angel Ajo Pelayo, which also  fixes an old bug.
All: prepare better compatibility with wxWidgets 2.9.4. Works fine with 2.8.x (I hope...)