Tidied up the way that value-labels button and menu item interact.
authorJohn Darrington <john@darrington.wattle.id.au>
Tue, 24 Jul 2007 06:24:01 +0000 (06:24 +0000)
committerJohn Darrington <john@darrington.wattle.id.au>
Tue, 24 Jul 2007 06:24:01 +0000 (06:24 +0000)
commit8c5325bc09ba0d4ffa953ff9a909c324bcf31841
treeabd843beadb01b90b134c3a05169bd4135ff1e1d
parent37273a2e5b058a1907bc7b4b5bf666c64e0afdbb
Tidied up the way that value-labels button and menu item interact.
src/ui/gui/data-editor.c
src/ui/gui/data-editor.glade
src/ui/gui/data-editor.h