Jiří Techet 1903b0a9b9 Add a flag indicating the tag tree needs updating
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.
2015-05-06 18:48:14 +02:00
..
2015-02-18 00:35:44 +01:00
2014-05-21 15:37:19 -07:00
2015-03-22 15:32:54 +01:00
2014-05-21 15:37:19 -07:00
2014-05-21 15:37:19 -07:00
2014-05-21 15:37:19 -07:00
2014-05-21 15:37:19 -07:00
2014-05-21 15:37:19 -07:00
2014-05-21 15:37:19 -07:00
2014-05-21 15:37:19 -07:00
2014-05-21 15:37:19 -07:00
2015-04-20 22:16:35 +02:00
2014-05-21 15:37:19 -07:00
2015-03-04 22:57:02 +01:00
2015-03-22 15:32:54 +01:00
2014-05-21 15:37:19 -07:00
2015-03-04 12:40:36 +01:00
2014-05-21 15:37:19 -07:00
2014-05-21 15:37:19 -07:00
2014-05-21 15:37:19 -07:00
2015-01-20 19:33:06 +01:00
2014-05-21 15:37:19 -07:00
2015-04-10 16:08:08 +02:00
2014-05-21 15:37:19 -07:00
2014-08-01 12:05:30 +01:00
2015-03-22 15:32:54 +01:00
2014-05-21 15:37:19 -07:00
2015-03-17 14:09:31 +01:00
2014-05-21 15:37:19 -07:00