public PluginUI(PluginMain plugin) { settings = plugin.PluginSettings; SuspendLayout(); InitializeControls(); InitializeTexts(); ResumeLayout(); highlightTimer = new Timer(); highlightTimer.Interval = 200; highlightTimer.Tick += new EventHandler(highlightTimer_Tick); }
private void InitSettings() { pluginDesc = TextHelper.GetString("Info.Description"); dataPath = Path.Combine(PathHelper.DataDir, "ASCompletion"); if (!Directory.Exists(dataPath)) Directory.CreateDirectory(dataPath); else if (PluginBase.MainForm.RefreshConfig) CleanData(dataPath); settingsFile = Path.Combine(dataPath, "Settings.fdb"); settingObject = new GeneralSettings(); if (!File.Exists(settingsFile)) { // default settings settingObject.JavadocTags = GeneralSettings.DEFAULT_TAGS; settingObject.PathToFlashIDE = CallFlashIDE.FindFlashIDE(); SaveSettings(); } else { Object obj = ObjectSerializer.Deserialize(settingsFile, settingObject); settingObject = (GeneralSettings)obj; } }
public PluginUI(PluginMain plugin) { settings = plugin.PluginSettings; SuspendLayout(); InitializeControls(); InitializeTexts(); ResumeLayout(); }