fix broken ctrl-click colorpick after upgrade
authorMartin Renold <martinxyz@gmx.ch>
Sun, 5 May 2013 15:10:23 +0000 (17:10 +0200)
committerMartin Renold <martinxyz@gmx.ch>
Sun, 5 May 2013 15:21:33 +0000 (17:21 +0200)
commit5be6d4489cb409e0f0d79a6073f525d0866ea41e
tree3cd1fbc1e6107cebb7651c176eff73387a00cced
parentf99c4620b7403b9d25b6ae8191148b6ebdb33ea6
fix broken ctrl-click colorpick after upgrade

Users with an old config file did end up with Ctrl-click color picker
"broken" after upgrade, even without ever changing the button mapping.
More confusingly, the old action did remain visible in the preferences.
You could assign a new key it and tear your hair out, wondering why
nothing works.
gui/application.py