bug #5670
Updated by Katja Luther almost 2 years ago
Reimplement the refresh of the navigator. The Afterwards implement automated refresh itself works now, but now the navigator is completely refreshed if it is not needed and this yields to performance problems. were necessary (e.g. #5289,#5346)