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