Thanks, committed!
On Tue, Sep 3, 2019 at 7:01 AM Aditya Toshniwal <
aditya.toshni...@enterprisedb.com> wrote:
> Hi Hackers,
>
> Attached is the updated patch to include documentation updates.
>
> On Tue, Sep 3, 2019 at 10:26 AM Aditya Toshniwal <
> aditya.toshni...@enterprisedb.com> wrote:
>
>>
On Mon, Sep 2, 2019 at 6:28 PM Dave Page wrote:
> Hi
>
> On Mon, Sep 2, 2019 at 11:05 AM Aditya Toshniwal <
> aditya.toshni...@enterprisedb.com> wrote:
>
>> Hi Hackers,
>>
>> Attached is the patch to:
>> 1) Optimise code folding code for better performance.
>> 2) Moved all editor related preferen
Hi
On Mon, Sep 2, 2019 at 11:05 AM Aditya Toshniwal <
aditya.toshni...@enterprisedb.com> wrote:
> Hi Hackers,
>
> Attached is the patch to:
> 1) Optimise code folding code for better performance.
> 2) Moved all editor related preferences like Font size, Tab size, Brace
> matching, etc. from optio
Hi Hackers,
Attached is the patch to:
1) Optimise code folding code for better performance.
2) Moved all editor related preferences like Font size, Tab size, Brace
matching, etc. from options to a new category "Editor" .
3) Added two new preferences - Plain editor mode (text/plain), Disable code
f