public static void LoadOptions()
 {
     if (_options == null)
     {
         OptionsManager manager = new OptionsManager();
         _options = manager.LoadOptions();
     }
 }
        public JavaScriptBrowserControl()
        {
            InitializeComponent();
            CreateDefaultDocuments();
            OptionsManager manager = new OptionsManager();

            this.Load += new EventHandler(JavaScriptBrowserControl_Load);
            optionsForm = new OptionsForm();

            webBrowser.ScriptErrorsSuppressed = true;
            webBrowser.NewWindow += new CancelEventHandler(webBrowser_NewWindow);
            ChangeOrientation();
        }
Example #3
0
        public static void SaveOptions()
        {
            OptionsManager manager = new OptionsManager();

            manager.SaveOptions(Options);
        }
 public static void SaveOptions()
 {
     OptionsManager manager = new OptionsManager();
     manager.SaveOptions(Options);
 }