refresh references on external change

This commit is contained in:
Alberto Fanjul 2023-01-09 01:58:02 +01:00
parent fb8797955a
commit da91c7d38d

View file

@ -192,6 +192,7 @@ namespace GitgHistory
d_reload_when_mapped.update(() => {
reload();
((Gtk.ApplicationWindow)application).activate_action("reload", null);
}, this);
}
}