mirror of
https://github.com/swift-project/pilotclient.git
synced 2026-04-29 20:55:42 +08:00
refs #830, settings for global GUI properties
(such as widget style, selection mode)
This commit is contained in:
@@ -141,6 +141,7 @@ namespace BlackMisc
|
||||
GlobalIndexCNavigatorSettings = 14300,
|
||||
GlobalIndexCSettingsReaders = 14400,
|
||||
GlobalIndexCViewUpdateSettings = 14500,
|
||||
GlobalIndexCGeneralGuiSettings = 14600,
|
||||
GloablIndexInterpolatorSetup = 15000,
|
||||
GlobalIndexLineNumber = 20000, //!< pseudo index for line numbers
|
||||
};
|
||||
|
||||
Reference in New Issue
Block a user