Thanks, patch applied.
On Thu, Mar 26, 2020 at 11:00 AM Nagesh Dhope
wrote:
> Please find an updated patch, which fixes review comments.
>
> On Thu, Mar 26, 2020 at 10:24 AM Aditya Toshniwal <
> aditya.toshni...@enterprisedb.com> wrote:
>
>> Hi Nagesh,
>>
>> I cannot see any change related to $a
Please find an updated patch, which fixes review comments.
On Thu, Mar 26, 2020 at 10:24 AM Aditya Toshniwal <
aditya.toshni...@enterprisedb.com> wrote:
> Hi Nagesh,
>
> I cannot see any change related to $active-border variable apart from
> !default. Plus, $active-border should not be allowed to
Hi Nagesh,
I cannot see any change related to $active-border variable apart from
!default. Plus, $active-border should not be allowed to edit. It is a
structural variable and not a variable which affects theme change.
Please revert the $active-border change and send the patch.
On Thu, Mar 26, 202
