/// <summary>
/// Initiates the News plugin's options.
/// </summary>
public void InitiateOptions(IPluginOptions plugin_window)
{
VBox backbone = new VBox (false, 5);
HBox note_box = new HBox (false, 5);
Label header = new Label ();
Label note = new Label ();
autorefresh = new SpinButton (10, 120, 5);
autorefresh.Value = refresh;
autorefresh.Changed += refresh_changed;
header.Markup = "How often should news feeds <i>auto-refresh</i>:";
note.Markup = "<b>Note:</b> <i>Requires Restart</i>";
note_box.PackStart (autorefresh, false, false, 0);
note_box.PackStart (note, true, true, 0);
backbone.PackStart (header, false, false, 0);
backbone.PackStart (note_box, false, false, 0);
backbone.BorderWidth = 10;
plugin_window.AddOptionsWidget (backbone);
}
/// <summary>
/// Initiates the Library plugin's options.
/// </summary>
public void InitiateOptions(IPluginOptions plugin_window)
{
VBox backbone = new VBox (false, 5);
HBox note_box = new HBox (false, 0);
quickload_button = new CheckButton ("Enable quick media library loading");
Label note_header = new Label ();
Label note_info = new Label ();
quickload_button.Active = quickload;
note_header.Markup = "<b>Note:</b>";
note_header.Yalign = 0;
note_info.Markup = "<i>This significantly decreases\nthe load time of the plugin</i>";
note_box.PackStart (note_header, false, false, 5);
note_box.PackStart (note_info, false, false, 0);
backbone.PackStart (quickload_button, false, false, 0);
backbone.PackStart (note_box, false, false, 0);
backbone.BorderWidth = 10;
quickload_button.Toggled += quick_load_toggle;
plugin_window.AddOptionsWidget (backbone);
}