]> err.no Git - mapper/commit
Fix repository selection menu items to use GtkUIManager
authorKaj-Michael Lang <milang@angel.tal.org>
Mon, 3 Sep 2007 22:27:59 +0000 (01:27 +0300)
committerKaj-Michael Lang <milang@angel.tal.org>
Mon, 3 Sep 2007 22:27:59 +0000 (01:27 +0300)
commit10ff27fe71f9608d1be10712b9a0a260de0b859c
tree79f446ac89232b5fbbdb4d0b75b1e1ab2731d5ef
parent84a6a969e48bd32c42cc01b370554b7b31711782
Fix repository selection menu items to use GtkUIManager
src/map-repo.c
src/settings-gui.c
src/ui-common.c
src/ui-common.h