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

---------------------------(end of broadcast)---------------------------
TIP 9: In versions below 8.0, the planner will ignore your desire to
      choose an index scan if your joining column's datatypes do not
      match

Reply via email to