Thanks - patch applied!
On Tue, Jul 10, 2018 at 11:58 AM, Aditya Toshniwal <
aditya.toshni...@enterprisedb.com> wrote:
> Hi,
>
> On Tue, Jul 10, 2018 at 4:24 PM, Dave Page wrote:
>
>> I think you forgot the patch :-/
>>
> Apologies. I know this is annoying :(
>
> PFA.
>
>>
>>
>> On Tue, Jul 1
Hi,
On Tue, Jul 10, 2018 at 4:24 PM, Dave Page wrote:
> I think you forgot the patch :-/
>
Apologies. I know this is annoying :(
PFA.
>
>
> On Tue, Jul 10, 2018 at 11:48 AM, Aditya Toshniwal enterprisedb.com> wrote:
>
>> Hi Hackers,
>>
>> On Tue, Jul 10, 2018 at 3:37 PM, Dave Page wrote:
>
I think you forgot the patch :-/
On Tue, Jul 10, 2018 at 11:48 AM, Aditya Toshniwal <
aditya.toshni...@enterprisedb.com> wrote:
> Hi Hackers,
>
> On Tue, Jul 10, 2018 at 3:37 PM, Dave Page wrote:
>
>> Hi
>>
>> On Tue, Jul 10, 2018 at 10:36 AM, Aditya Toshniwal <
>> aditya.toshni...@enterprisedb.
Hi Hackers,
On Tue, Jul 10, 2018 at 3:37 PM, Dave Page wrote:
> Hi
>
> On Tue, Jul 10, 2018 at 10:36 AM, Aditya Toshniwal enterprisedb.com> wrote:
>
>> Hi Hackers,
>>
>> Attached is the fix. It is again related to changed made for RM3294, the
>> font size was set to 0em. Also included changes t
Hi
On Tue, Jul 10, 2018 at 10:36 AM, Aditya Toshniwal <
aditya.toshni...@enterprisedb.com> wrote:
> Hi Hackers,
>
> Attached is the fix. It is again related to changed made for RM3294, the
> font size was set to 0em. Also included changes to make sure CodeMirror
> font size is never set to 0em bu
