Andy McFadden fac2d6a51f Invoke extension scripts when labels they care about change ... We were failing to update properly when a label changed if the label was one that a plugin cared about. The problem is that a label add/remove operation skips the code analysis, and a label edit skips everything but the display update. Plugins only run during the code analysis pass, so changes weren't being reflected in the display list until something caused it to refresh. The solution is to ask the plugin if the label being changed is one that it cares about. This allows the plugin to use the same wildcard-match logic that it uses elsewhere. For efficiency, and to reduce clutter in plugins that don't care about symbols, a new interface class has been created to handle the "here are the symbols" call and the "do you care about this label" call. The program in Examples/Scripts has been updated to show a very simple single-call plugin and a slightly more complex multi-call plugin.		2019-10-13 18:32:53 -07:00
..
DomainManager.cs	Move WPF code from SourceGenWPF to SourceGen	2019-07-20 13:28:37 -07:00
PluginDllCache.cs	Recompile extension scripts when dependencies are updated	2019-10-05 21:27:34 -07:00
ScriptManager.cs	Invoke extension scripts when labels they care about change	2019-10-13 18:32:53 -07:00
Sponsor.cs	Move WPF code from SourceGenWPF to SourceGen	2019-07-20 13:28:37 -07:00