this.el.set_default_size(
int.min(1024,Gdk.Screen.width()),
- int.max(500,Gdk.Screen.width() - 300)
+ int.max(500,Gdk.Screen.height() - 300)
);
-
+
this.el.show_all();
_this.reposStore.load();
this.el.set_keep_above(true);
var git_working_dir = (string)val;
var repo = GitRepo.singleton().get(git_working_dir);
+ GitMonitor.gitmonitor.pause();
repo.pull();
repo.loadStatus();
_this.reposStore.load();
-
-
+ GitMonitor.gitmonitor.start();
+
});