made menu enabled setting dynamic
authorJean-Philippe Orsini <jeanfi@gmail.com>
Fri, 14 Nov 2014 08:21:45 +0000 (09:21 +0100)
committerJean-Philippe Orsini <jeanfi@gmail.com>
Fri, 14 Nov 2014 08:21:45 +0000 (09:21 +0100)
commit30280041f93f4374ce36a151df44c2bc7495d807
tree983ccd292c299ba73ec3cc8353072d3740d5b8ec
parentf73aa2047e162f171d9bfc39ddd11406bec3ace8
made menu enabled setting dynamic
src/cfg.c
src/cfg.h
src/glade/psensor-pref.glade
src/ui.c
src/ui.h
src/ui_pref.c