62eb330423
Introduced an ‘Editor’ preferences category and migrated all editor related settings into it. #8861
2025-07-28 14:09:16 +05:30
1e0e9c4f7d
1) Open preferences in a new tab instead of a dialog for better user experience. #6743
...
2) Add a search box to enable searching within the preferences tab. #2864
2025-06-12 19:03:54 +05:30
f88ca891fa
Added feature to restore preferences to their default values. #1900
2024-08-30 12:24:24 +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
9d96d6123e
Update documentation screenshots as per new design. Fixes #3890
2019-03-04 13:06:04 +05:30
41c028f944
Ensure that null values handled properly in CSV download. Fixes #3780
2019-01-01 15:15:36 +05:30
4a6426d3e7
Doc updates after renaming SQL Editor section of the Preference panel.
2018-10-11 09:10:02 +01:00
d02a0de8c9
Preferences dialogue help update.
2017-12-13 15:47:15 +00:00
0c566f132e
Allow configuration of CSV and clipboard formatting of query results. Fixes #2781
2017-11-20 13:50:47 +00:00
Pravesh Sharma
Aditya Toshniwal
pea-sys
Nikhil Mohite
Nagesh Dhope
Abhilasha Narendra
Akshay Joshi
Susan Douglas
Khushboo Vashi