public PluginOptions GetOptions() { if (_options == null) { _options = new JSParserOptions(this.GetID()); } return(_options); }
public override void BeforeTranslate() { // This saves us casting everywhere. _sharedOptions = _windowManager.GetPluginOptions("JS Parser Plugin") as JSParserOptions; }
public void SetOptions(PluginOptions options) { if (options == null) return; if (!(options is JSParserOptions)) return; _options = options as JSParserOptions; }
public PluginOptions GetOptions() { if (_options == null) { _options = new JSParserOptions(this.GetID()); } return _options; }