206
207
public void hide_alert () {
211
212
public void show_alert (string primary_text, string secondary_text, Gtk.MessageType type) {
212
213
alert_view.set_alert (primary_text, secondary_text, null, true, type);
217
218
public void load_plug (string title, string executable, bool @extern) {