The new Release 20.03 is out! You can download binaries for Windows and many major Linux distros here .
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...