Project

General

Profile

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)  
  

Back