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
