Make the device settings page the first one in its category

The move to the Kits settings envisioned in 5afab6f018 never happened,
which left the Device settings page awkwardly placed in the middle of
its own category, rather than being the first (and default) widget
there.

Change-Id: Ia5a8c7d7ee67397f9f51810f0b62f5883a2314b5
Reviewed-by: Eike Ziller <eike.ziller@qt.io>
Reviewed-by: hjk <hjk@qt.io>
This commit is contained in:
Christian Kandeler
2019-01-08 17:47:17 +01:00
parent a7435ae785
commit 170b2e4638

View File

@@ -106,7 +106,6 @@ const char KITS_SETTINGS_CATEGORY[] = "A.Kits";
// Kits pages
const char KITS_SETTINGS_PAGE_ID[] = "D.ProjectExplorer.KitsOptions";
const char DEVICE_SETTINGS_PAGE_ID[] = "E.ProjectExplorer.DeviceOptions";
const char SSH_SETTINGS_PAGE_ID[] = "F.ProjectExplorer.SshOptions";
const char TOOLCHAIN_SETTINGS_PAGE_ID[] = "M.ProjectExplorer.ToolChainOptions";
const char DEBUGGER_SETTINGS_PAGE_ID[] = "N.ProjectExplorer.DebuggerOptions";
@@ -119,6 +118,7 @@ const char BUILD_AND_RUN_SETTINGS_PAGE_ID[] = "A.ProjectExplorer.BuildAndRunOpti
// Device settings page
const char DEVICE_SETTINGS_CATEGORY[] = "XW.Devices";
const char DEVICE_SETTINGS_PAGE_ID[] = "AA.Device Settings";
// Task categories
const char TASK_CATEGORY_COMPILE[] = "Task.Category.Compile";