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.
Name Last commit Last update
..