I just comment out the prohibitInput() in MenuInsertLabel, but I still couldn't type into the buffer. So does this mean it's not needed ?
Some cases of prohibitInput() (only a few remain) don't even have the
possibility of a dialog, so are definitely pointless, right ?
thanks
john
--
"I hope you will find the courage to keep on living
despite the existence of this feature."
- Richard Stallman
