Re: [pgAdmin][RM4348] Theme options in pgAdmin and dark theme

Thanks, patch applied.

On Tue, Nov 12, 2019 at 3:41 PM Aditya Toshniwal <
[email protected]> wrote:

>
>
> On Tue, Nov 12, 2019 at 3:25 PM Dave Page <[email protected]> wrote:
>
>> Hi
>>
>> On Tue, Nov 12, 2019 at 9:50 AM Aditya Toshniwal <
>> [email protected]> wrote:
>>
>>>
>>>> Attached. It may just be that it looks a little sharp because it's a
>>>> long line. Maybe we should just make it a darker shade entirely.
>>>>
>>>> [image: Screenshot 2019-11-12 at 09.09.42.png]
>>>>
>>>
>>> Why can't I see it :/
>>> Maybe it got fixed along with the dark drop down for no limit. Could you
>>> please check again.
>>> [image: image.png]
>>>
>>
>> Nope, it's definitely still there:
>>
> I checked on 2-3 systems. It looks fine. May be the permanent enabled
> scrollbar causing it look like that.
>
>>
>> [image: Screenshot 2019-11-12 at 09.53.02.png]
>>
>>
>>
>>> BTW, what was the reason for removing the styling from the scroll bars?
>>>>
>>> We had given gray shades to scrollbar which were not clearly visible for
>>> some tables. Plus, for systems were scrollbar is not always enabled was
>>> showing scrollbar. It should appear only on scroll on those systems.
>>>
>>
>> And you're working on that? We can't keep the ugly grey scroll bars!
>>
> OK. I'll take it as priority.
>
>>
>> Thanks!
>>
>> --
>> Dave Page
>> Blog: http://pgsnake.blogspot.com
>> Twitter: @pgsnake
>>
>> EnterpriseDB UK: http://www.enterprisedb.com
>> The Enterprise PostgreSQL Company
>>
>
>
> --
> Thanks and Regards,
> Aditya Toshniwal
> Sr. Software Engineer | EnterpriseDB India | Pune
> "Don't Complain about Heat, Plant a TREE"
>


-- 
*Thanks & Regards*
*Akshay Joshi*

*Sr. Software Architect*
*EnterpriseDB Software India Private Limited*
*Mobile: +91 976-788-8246*