So I can't see whether that branch ever got merged or not, but this issue is no longer relevant against the gtk3 ui, so closing it.
So I can't see whether that branch ever got merged or not, but this issue is no longer relevant against the gtk3 ui, so closing it.