コード例 #1
0
 /**
  * Disposes the plugin
  */
 public void Dispose()
 {
     timerPosition.Enabled = false;
     PathExplorer.StopBackgroundExploration();
     SaveSettings();
 }
コード例 #2
0
ファイル: PluginMain.cs プロジェクト: tienery/flashdevelop
 /**
  * Disposes the plugin
  */
 public void Dispose()
 {
     PathExplorer.StopBackgroundExploration();
     SaveSettings();
 }