7 Commits

Author	SHA1	Message	Date
pea-sys	4bcf0637f9	Improve PNG files by optimising them.	2022-10-31 18:06:53 +05:30
Nikhil Mohite	74e794b416	Port preferences dialog to React. Fixes #7149	2022-03-21 13:29:26 +05:30
Nagesh Dhope	8bdfa18efb	Ensure that if the delimiter is set other than comma then download the file as '.txt' file. Fixes #4573	2020-04-17 17:37:02 +05:30
Aditya Toshniwal	1c2ba72f02	Add editor options for plain text mode and to disable block folding to ... workaround rendering speed issues in CodeMirror with very large scripts. Fixes #4631. Re-arrange editor options in the Preferences dialogue to tidy things up.	2019-09-04 15:46:08 +01:00
Abhilasha Narendra	9d96d6123e	Update documentation screenshots as per new design. Fixes #3890	2019-03-04 13:06:04 +05:30
Aditya Toshniwal	4a6426d3e7	Doc updates after renaming SQL Editor section of the Preference panel.	2018-10-11 09:10:02 +01:00
Murtuza Zabuawala	a9de043fef	Add keyboard shortcuts for the Query Tool. Fixes #2900	2018-02-27 14:32:03 +00:00