this.paused = true;
// what does this do to the old one...
this.queue = new Array<GitMonitorQueue> ();
- StatusIconA.statusicon.set_from_stock( Gtk.Stock.MEDIA_PAUSE );
+ StatusIconA.statusicon.pause()
}
public new void resume () {
this.paused = false;
this.queue = new Array<GitMonitorQueue> ();
- StatusIconA.statusicon.set_from_stock( Gtk.Stock.MEDIA_PLAY );
+ StatusIconA.statusicon.resume();
}