On Nov 20, 2006, at 11:31 PM, Gerd Knops wrote:
Some remarks on Build & Run:
- log output from the running program is still messed up (spaces and
tabs are not displayed as intended)
Thanks for the report, whitespace is fixed in r6208.
- the progress indicator is somewhat annoying during run
It's also practically invisible with the themed output used in other commands. It may be time to consider some other way of indicating busy state for the HTML window. I don't have a better suggestion offhand, though.
Chris