Skip to content
Snippets Groups Projects
  • Alexander Mueller's avatar
    b838d139
    BugID: 136 · b838d139
    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
    BugID: 136
    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).
Code owners
Assign users and groups as approvers for specific file changes. Learn more.