Skip to content
Snippets Groups Projects
Commit b838d139 authored by Alexander Mueller's avatar Alexander Mueller
Browse files

BugID: 136 

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).
parent c24b88e2
No related branches found
No related tags found
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment