Skip to content
Snippets Groups Projects
user avatar
Alexander Mueller authored
Made the g_navigatorID dependent on the manager ID of the Navigator UI manager. Not deleted instances are reused on starting a Navigator UI manager with the same number.
(And changed the file type).
b838d139
History
Code owners
Assign users and groups as approvers for specific file changes. Learn more.