mirror of
https://github.com/swift-project/pilotclient.git
synced 2026-04-06 18:25:37 +08:00
refs 419, improved pilot client navigator
* added setting and allow to restore/save state * allow to set margins * fixed style sheet * moved margin function to utility
This commit is contained in:
@@ -107,6 +107,7 @@ namespace BlackMisc
|
||||
GlobalIndexCGuiStateDbOwnModelsComponent = 14000,
|
||||
GlobalIndexCGuiStateDbOwnModelSetComponent = 14100,
|
||||
GlobalIndexCSettingsDockWidget = 14200,
|
||||
GlobalIndexCSettingsNavigator = 14300,
|
||||
GlobalIndexAbuseMode = 20000 // property index abused as map key or otherwise, to be removed if no longer needed
|
||||
};
|
||||
|
||||
|
||||
Reference in New Issue
Block a user