I'm a little unhappy about the big margin in the Query tool. Do we
really need to waste the space for line numbers up to 999999?
Calculation relative to font size would be needed.
What happens to the "error in this line" marker, is it still displayed
or does the SetMarginType suppress this?
Regards,
Andreas
