}
// user defined functions
- public void show ( GitRepo repo, Gee.ArrayList<GitMonitorQueue> queue )
+ public void show ( GitRepo repo, Gee.ArrayList<GitMonitorQueue> queue, string tid = "" )
{
// this.el.set_gravity(Gdk.Gravity.NORTH);
if (this.running) { // should not happen!!