-
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).
Alexander Mueller authoredMade 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).
Code owners
Assign users and groups as approvers for specific file changes. Learn more.