bug #5670
Updated by Andreas Müller over 6 years ago
Reimplement the refresh of the navigator. Afterwards implement automated refresh were necessary (e.g. #5289,#5346)
Updated by Andreas Müller over 6 years ago
Reimplement the refresh of the navigator. Afterwards implement automated refresh were necessary (e.g. #5289,#5346)