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();
}
