Re: [pgadmin-hackers] [pgAdmin4][Patch][RM_ 2477]: New Line text editpop up renders off page when the size of the grid exceeds the size of the window

On Mon, Jun 12, 2017 at 2:27 PM, Surinder Kumar
<surinder.kumar@enterprisedb.com> wrote:
> Hi
>
> The current font-family applied to slick-grid is 'Verdana,Arial,sans-serif'.
> I tried changing it to "Helvetica Neue", Helvetica, Arial, sans-serif but
> the font size and spacing between text is reduced. so to match style I used
> "Verdana".
>
> Also, as per my knowledge, the Helvetica font will work only for Operating
> Systems where this font actually exists in system, otherwise it will pick
> Arial font.
>
> The right way to use 'Helvetica' is to download its 'ttf' and 'eot' files
> and use in CSS so that it appears same on all machines:
> https://stackoverflow.com/questions/13013616/css-helvetica-neue-not-working
>
> But it seems it is not available for free
> https://www.myfonts.com/fonts/linotype/neue-helvetica/licensing.html

Oh, that's not good. I assume we were relying on it being on a users
machine already. I think we need to do one of two things:

1) Default to a font that we know should exist everywhere.
2) Have a fallback from Helvetica Neue to Arial or similar. 

3) Choose something completely new and free, and ship it with the app.

I prefer 1 if possible, then 2, finally 3.

Shirley, any thoughts?