Thanks!
On Wed, Sep 13, 2017 at 11:23 PM Dave Page wrote:
> Thanks, applied.
>
> On Wed, Sep 13, 2017 at 2:21 PM, Atul Sharma > wrote:
>
>> Hi,
>>
>> PFA patch which add new fonts to pgAdmin.
>>
>> Regards,
>> Atul
>>
>> On Tue, Sep 12, 2017 at 10:26 PM, Surinder Kumar <
>> surinder.ku...@enter
Thanks, applied.
On Wed, Sep 13, 2017 at 2:21 PM, Atul Sharma
wrote:
> Hi,
>
> PFA patch which add new fonts to pgAdmin.
>
> Regards,
> Atul
>
> On Tue, Sep 12, 2017 at 10:26 PM, Surinder Kumar <
> surinder.ku...@enterprisedb.com> wrote:
>
>> Sure. I will send a patch.
>>
>> On Tue, Sep 12, 2017
Sure. I will send a patch.
On Tue, Sep 12, 2017 at 8:21 PM, Dave Page wrote:
> Thanks. Whoever picks up this task will need to include that info in the
> libraries.txt file so we know exactly what 3rd party stuff is in the tree.
>
>
> On Tue, Sep 12, 2017 at 10:50 AM, Shirley Wang wrote:
>
>> T
Thanks. Whoever picks up this task will need to include that info in the
libraries.txt file so we know exactly what 3rd party stuff is in the tree.
On Tue, Sep 12, 2017 at 10:50 AM, Shirley Wang wrote:
> They're from the Google fonts directory : https://fonts.google.com/
> selection?category=Mon
They're from the Google fonts directory :
https://fonts.google.com/selection?category=Monospace&selection.family=Open+Sans:400,400i,600,700|Source+Code+Pro:400,700
On Tue, Sep 12, 2017 at 4:28 PM Dave Page wrote:
> Hi
>
> On Tue, Sep 12, 2017 at 4:13 AM, Shirley Wang wrote:
>
>> Hi
>>
>> Follow
Hi
On Tue, Sep 12, 2017 at 4:13 AM, Shirley Wang wrote:
> Hi
>
> Following up on Anthony's comment in another thread, here are the open
> source fonts that I used in the test builds.
>
> I don't have the CSS skills to create a patch for submission, could
> someone take the lead and help create t
