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 options to a new category "Editor" . > 3) Added two new preferences - Plain editor mode (text/plain), Disable > code folding. > 4) Codemirror has its own limitations and lags for long text line. Using > plain editor mode will help improve the speed as it does not have the > overhead of syntax highlighting and code folding. Optionally, one can > disable code folding in normal SQL mode. > Cool. Attached is an update which tweaks the strings on the Preferences panel. You'll find that useful when you add the missing screenshots and doc updates :-) Thanks! -- Dave Page Blog: http://pgsnake.blogspot.com Twitter: @pgsnake EnterpriseDB UK: http://www.enterprisedb.com The Enterprise PostgreSQL Company
RM4631_v2.patch
Description: Binary data
