Python Navigator, for gnome extensions