Query tool margin

From: Andreas Pflug <pgadmin(at)pse-consulting(dot)de>
To: Dave Page <dpage(at)vale-housing(dot)co(dot)uk>, pgadmin-hackers <pgadmin-hackers(at)postgresql(dot)org>
Subject: Query tool margin
Date: 2005-11-04 07:32:45
Message-ID: 436B0E9D.4040603@pse-consulting.de
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgadmin-hackers

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

Browse pgadmin-hackers by date

  From Date Subject
Next Message Satoshi Nagayasu 2005-11-04 07:51:32 Re: RC1 gets crashed.
Previous Message Andreas Pflug 2005-11-04 07:30:36 Re: RC1 gets crashed.