Workaround for stale data appearing in vars tree when there are 0 items (GTK issue)
Workaround for stale data appearing in vars tree when there are 0 items
(GTK issue)

coq/coq,Zimmi48/coq,SkySkimmer/coq,ejgallego/coq,coq/coq,Zimmi48/coq,coq/coq,coq/coq,Zimmi48/coq,SkySkimmer/coq,Zimmi48/coq,SkySkimmer/coq,SkySkimmer/coq,ejgallego/coq,ejgallego/coq,ejgallego/coq