mirror of
https://gitlab.gnome.org/GNOME/gitg
synced 2024-08-27 20:09:23 +00:00
files: remove source in dispose
This commit is contained in:
parent
04799a8f5e
commit
66dcb15393
|
@ -72,6 +72,17 @@ public class TreeStore : Gtk.TreeStore
|
|||
set_sort_column_id(0, Gtk.SortType.ASCENDING);
|
||||
}
|
||||
|
||||
protected override void dispose()
|
||||
{
|
||||
if (d_update_id != 0)
|
||||
{
|
||||
Source.remove(d_update_id);
|
||||
d_update_id = 0;
|
||||
}
|
||||
|
||||
base.dispose();
|
||||
}
|
||||
|
||||
public Ggit.OId get_id(Gtk.TreeIter iter)
|
||||
{
|
||||
Ggit.OId ret;
|
||||
|
|
Loading…
Reference in a new issue