As usual while waiting for the next release - don't forget to check the nightly builds in the forum.
I have read these code, and can't find any reason we don't apply your patch on token.cpp. Any comments from morten or jens or rickg22?
While I am not in the developing team, I think you could let this one slip...After all, it is correcting an obvious omission from the UI (the permanently disabled listbox), and in that sense, it is a bug fix...