//listeners
this.el.delete_event.connect( (self, event) => {
this.el.hide();
+ this.running = false;
return true;
//test
});
if (this.running) {
return;
}
- GitMonitor.gitmonitor.stop();
+ this.running = true;
+ GitMonitor.gitmonitor.stop();
this.repo = repo;