Commit Graph

7 Commits

Author SHA1 Message Date
Aditya Toshniwal
6710969143
Rename 'Edit Object..' context menu back to 'Properties...'. #4734 2023-04-03 13:10:24 +05:30
Aditya Toshniwal
9924fae378
Nomenclature changes:
1. Rename "Properties..." context menu option of object to "Edit Object...".
2. Rename "Browser" tree to "Object Explorer". #4734
2023-03-28 22:20:14 +05:30
Akshay Joshi
6d1926bb63 Rename the menu 'Disconnect Server' to 'Disconnect from server'. Fixes #7163 2022-02-07 16:12:30 +05:30
Akshay Joshi
9dd957a2aa Added support to import/export server groups and servers from GUI. Fixes #4803 2022-01-04 12:27:17 +05:30
Aditya Toshniwal
173b812b93 Allow some objects to be dragged/dropped into the Query Tool to insert their signature into the query text. Fixes #4139 2019-06-27 10:30:05 -04:00
Dave Page
8f1f04e5f3 Major doc cleanup:
- Reformat source so it's wrapped.
- Standardise markup.
- Center images.
- Restructure in various places to improve the indexing.
- Remove duplicated Query Tool toolbar descriptions.
- Ensure the structure works in both HTML and LaTeX.
2019-03-08 15:29:05 +00:00
Dave Page
64ee23a088 Some doc restructuring and cleanup. 2019-03-07 14:26:56 +00:00