Project

General

Profile

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)  

Back