-
Jiří Techet yazdı
When the Symbols tab isn't shown, symbol tree isn't updated. However, we should record the cases when update should have been performed and once the symbols tab is shown, perform update if something changed. Thanks to this patch we also don't have to always perform symbol tree update when switching to the Symbols tab but only when something has actually changed.
1903b0a9