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(); }
public static void SaveOptions() { OptionsManager manager = new OptionsManager(); manager.SaveOptions(Options); }