← Back to branch summary

~gotwig/gazette/global-service-states

« back to all changes in this revision

Viewing changes to plugins/News/News.vala

  • Committer: gotwig at ubuntu
  • Date: 2013-08-01 23:20:17 UTC
  • Revision ID: gotwig@ubuntu.com-20130801232017-kl9ihbcoyj9dnmia
radical new approach; service-states is meant to hold ALL states of widgets, which are essential for everyone, independent of its function
like update-interval, fonts, color. only look is implemented yet. functions will soon follow. Show these essential values the user in the plug.
Todo: Add an expander, hide button for this, as this are "advanced settings"

Show diffs side-by-side

added added

removed removed

Lines of Context:
plugins/News/News.vala
85
85
        settings.set_string("rss-url", rssEntry.get_text ());
86
86
        });
87
87
 
88
 
        // REFRESH LABEL
89
 
        var refreshLabel = new Gtk.Label (_("Refresh Interval") + " :");
90
 
        container.attach(refreshLabel, 0, 1, 1, 1);
91
 
        refreshLabel.set_alignment (1, 0);
92
 
        
93
 
        // REFRESH ENTRY
94
 
        var scale = new Gtk.Scale.with_range (Gtk.Orientation.HORIZONTAL, 0, 3600000, 60000);
95
 
        scale.set_draw_value (false);
96
 
        scale.add_mark (300000, Gtk.PositionType.BOTTOM, _("5 min"));
97
 
        scale.add_mark (1200000, Gtk.PositionType.BOTTOM, _("20 min"));
98
 
        scale.add_mark (2400000, Gtk.PositionType.BOTTOM, _("40 min"));
99
 
        scale.add_mark (3600000, Gtk.PositionType.BOTTOM, _("1 hour"));
100
 
 
101
 
        scale.set_value (update_interval);
102
 
 
103
 
        scale.value_changed.connect (() => {
104
 
            settings.set_int("update-interval", (int) scale.get_value() );
105
 
        });
106
 
 
107
 
        container.attach(scale, 1, 1, 2, 1);
108
 
        
109
 
        // RESET BUTTON
110
 
        var resetButton = new Gtk.Button.with_label ( _("Reset") );
111
 
        container.attach(resetButton, 2, 2, 1, 1);
112
 
        resetButton.clicked.connect(() => {
113
 
            settings.reset ("rss-url");
114
 
            settings.reset ("update-interval");
115
 
            rss_url = settings.get_string("rss-url");
116
 
            update_interval = settings.get_int("update-interval");
117
 
            rssEntry.set_text (rss_url);
118
 
            scale.set_value (update_interval);
119
 
        });
 
88
        
120
89
        return container;
121
90
    }
122
91
}