f88ca891fa
Added feature to restore preferences to their default values. #1900
2024-08-30 12:24:24 +05:30
ad34ee2699
Fixed new line indentation in query editor and add a user preference to disable it. #7295
2024-06-13 18:06:13 +05:30
6690b16f8a
Added support for executing the query at the cursor position in the query tool. #6841
2024-05-27 16:11:59 +05:30
1c44cfb714
Update the documentation for preferences dialog and keyboard shortcuts. #7349 , #7458
2024-05-15 15:21:23 +05:30
4bcf0637f9
Improve PNG files by optimising them.
2022-10-31 18:06:53 +05:30
74e794b416
Port preferences dialog to React. Fixes #7149
2022-03-21 13:29:26 +05:30
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
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
Pravesh Sharma
Aditya Toshniwal
Anil Sahoo
pea-sys
Nikhil Mohite
Nagesh Dhope