Re: [pgAdmin][RM4631] PgAdmin IV browser locks up when trying to undo an edit

2019-09-04 Thread Dave Page
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: > >>

Re: [pgAdmin][RM4631] PgAdmin IV browser locks up when trying to undo an edit

2019-09-02 Thread Aditya Toshniwal
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

Re: [pgAdmin][RM4631] PgAdmin IV browser locks up when trying to undo an edit

2019-09-02 Thread Dave Page
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

[pgAdmin][RM4631] PgAdmin IV browser locks up when trying to undo an edit

2019-09-02 Thread Aditya Toshniwal
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