Re: New font for testing in Query Editor tool

Поиск
Список
Период
Сортировка
От matshyeq
Тема Re: New font for testing in Query Editor tool
Дата
Msg-id CAONr5=vh3JLMJS7pyfW7EbHLgbYPvO6GhwV8qJKpF-woXP+kJw@mail.gmail.com
обсуждение исходный текст
Ответ на Re: New font for testing in Query Editor tool  (Dave Page <dpage@pgadmin.org>)
Ответы Re: New font for testing in Query Editor tool  (Dave Page <dpage@pgadmin.org>)
Список pgadmin-support
What are the options?

On 19 July 2017 at 10:37, Dave Page <dpage@pgadmin.org> wrote:


On Wed, Jul 19, 2017 at 9:34 AM, Mike Surcouf <mikes@surcouf.co.uk> wrote:

Maybe I’m missing something,

 

Shouldn’t all code including SQL use fixed width font?


It does. The question is, *which* fixed width font.
 

 

From: Dave Page [mailto:dpage@pgadmin.org]
Sent: 19 July 2017 09:00
To: Anthony DeBarros
Cc: pgAdmin Support; Shirley Wang
Subject: Re: New font for testing in Query Editor tool

 

 

 

On Wed, Jul 19, 2017 at 1:33 AM, Anthony DeBarros <adebarros@gmail.com> wrote:

I like it! I agree with the earlier poster that the line height could be decreased -- but not by much. Perhaps a pixel or two.

 

Yeah, something was bugging me about it too - I think it was the line height.

 

 

Anthony

 

 

 

 

Hello

 

We're testing out a new font for the SQL in the Query Editor tool. Here is a link to test builds for both windows and mac: https://developer.pgadmin.org/~dpage/query_tool_font_test/

 

Let us know what your thoughts are on these font changes along with why you think these changes need to occur. 

 

Thanks!

Shirley & Pivotal Team

 

 

--

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

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




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

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

В списке pgadmin-support по дате отправления:

Предыдущее
От: Mike Surcouf
Дата:
Сообщение: RE: Cant browse servers after update to pgadmin 1.6 (server version)
Следующее
От: Murtuza Zabuawala
Дата:
Сообщение: Re: Cant browse servers after update to pgadmin 1.6 (server version)