コード例 #1
0
ファイル: MainPage.cs プロジェクト: gsterjov/fusemc
        /// <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);
        }
コード例 #2
0
ファイル: Core.cs プロジェクト: gsterjov/fusemc
        /// <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);
        }