Re: [pgAdmin4][Patch]: RM 1780: Rendering glitches in the query editor line number column when editing many lines

From: Dave Page <dpage(at)pgadmin(dot)org>
To: Khushboo Vashi <khushboo(dot)vashi(at)enterprisedb(dot)com>
Cc: pgadmin-hackers <pgadmin-hackers(at)postgresql(dot)org>
Subject: Re: [pgAdmin4][Patch]: RM 1780: Rendering glitches in the query editor line number column when editing many lines
Date: 2016-12-12 10:00:23
Message-ID: CA+OCxoySOeKSbrv+tUhhsiUwXk7KF38bsjJphCmDYdOqiwW2qQ@mail.gmail.com
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgadmin-hackers

Hi

On Fri, Dec 9, 2016 at 11:37 AM, Khushboo Vashi
<khushboo(dot)vashi(at)enterprisedb(dot)com> wrote:
> Hi,
>
> Please find the attached patch to fix the RM 1780: Rendering glitches in the
> query editor line number column when editing many lines.
>
> Some codemirror css were overwritten to increase the width of the line
> number column in sql editor.
> Due to those changes this issue was coming, I have removed those css changes
> and set the line number column to the default size.
>
> Please review the patch and let me know if any other UI changes are
> required.

This seems to work nicely in the query tool, as well as the properties
pane and for the source code on the properties dialogues for
functions/views etc.

However, it doesn't seem to work well on the SQL tab of dialogues (see
the attached screenshot). If you can fix that without changing the
now-improved behaviour elsewhere, I think this will be a good
improvement.

Thanks.

--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake

EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company

Attachment Content-Type Size
image/png 66.4 KB

In response to

Responses

Browse pgadmin-hackers by date

  From Date Subject
Next Message Dave Page 2016-12-12 10:06:32 pgAdmin 4 commit: Properly sort rows by the pkey when viewing first/las
Previous Message Dave Page 2016-12-12 09:48:59 pgAdmin 4 commit: Minor Python 3/encoding fix in the file manager.