Пример #1
0
        public PluginUI(PluginMain plugin)
        {
            settings = plugin.PluginSettings;
            SuspendLayout();
            InitializeControls();
            InitializeTexts();
            ResumeLayout();

            highlightTimer = new Timer();
            highlightTimer.Interval = 200;
            highlightTimer.Tick += new EventHandler(highlightTimer_Tick);
        }
Пример #2
0
 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;
     }
 }
Пример #3
0
 public PluginUI(PluginMain plugin)
 {
     settings = plugin.PluginSettings;
     SuspendLayout();
     InitializeControls();
     InitializeTexts();
     ResumeLayout();
 }