Here's the updated patch

On Thu, Feb 9, 2017 at 8:52 AM, Atira Odhner <aodh...@pivotal.io> wrote:

> Good point! I guess I was asleep at the wheel on this one. I didn't notice
> it was a library.
>
> On Thu, Feb 9, 2017, 4:37 AM Dave Page <dp...@pgadmin.org> wrote:
>
>> Hi
>>
>> On Thu, Feb 9, 2017 at 7:26 AM, Murtuza Zabuawala
>> <murtuza.zabuaw...@enterprisedb.com> wrote:
>> > Hi,
>> >
>> > It's not a good idea to directly change in main Library, Lets say if
>> newer
>> > version of CodeMirror available and we want to pull new version then we
>> need
>> > to maintain this change set every time we pull new version.
>> >
>> > Instead please use,
>> >
>> > web/pgadmin/static/css/overrides.css
>> >
>> >
>> > or more specifically if you are only targeting Syntax highlighting for
>> Query
>> > Tool then,
>> >
>> > web/pgadmin/tools/sqleditor/static/css/sqleditor.css
>> >
>> >
>> > to override any CSS related changes specific to pgAdmin4.
>>
>> Agreed - we only modify bundled libraries when there is no other
>> choice, and then we add a README explaining what was changed and why.
>>
>> In this case, I think the changes should be in overrides.css which is
>> intended specifically for overriding styles in the third party
>> libraries (yes, I know there are a few things in there that should be
>> in pgadmin.css - we need to clean that up somewhen). They should not
>> be for the SQL Editor only.
>>
>> --
>> Dave Page
>> Blog: http://pgsnake.blogspot.com
>> Twitter: @pgsnake
>>
>> EnterpriseDB UK: http://www.enterprisedb.com
>> The Enterprise PostgreSQL Company
>>
>

Attachment: 0001-Make-syntax-highlighting-bold.patch
Description: Binary data

-- 
Sent via pgadmin-hackers mailing list (pgadmin-hackers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgadmin-hackers

Reply via email to