Bleh... Got the wrong version of the patch in for v1.25 (v1.23 is not affected). In that old version I forgot to change the callback function name in the OK button initialization (copy and paste bug...). It will be fixed in the next release.
??? CTRL ESC opens the Start menu, not SHIFT ESC... Did you redefine your keyboard shortcuts ?