4 Commits

Author	SHA1	Message	Date
Rahul Shirsat	62d55cabd9	1) Fixed issue where Drop and Disconnect connection menu points are too close to each other. Fixes #3279 ... 2) Rename the context menu from 'Drop Server' to 'Remove Server'. Fixes #3859	2019-11-07 13:11:24 +05:30
Dave Page	2dd075161d	Allow the UI layout to be fully locked or to prevent docking changes. Fixes #2653	2019-05-31 11:51:30 -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