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;
}
public override void BeforeTranslate()
{
// This saves us casting everywhere.
_sharedOptions = _windowManager.GetPluginOptions("JS Parser Plugin") as JSParserOptions;
}
