use state of the widget
authorJean-Philippe Orsini <jeanfi@gmail.com>
Fri, 14 Nov 2014 07:45:09 +0000 (08:45 +0100)
committerJean-Philippe Orsini <jeanfi@gmail.com>
Fri, 14 Nov 2014 07:45:09 +0000 (08:45 +0100)
commitdf6dc574b291b43689133990960cc1e1271b2967
treecfb4e988e27f5379be90a8250b75f70ff3d9d8b4
parent51450a36b7143fe230197dfa89b5fd072af7421c
use state of the widget
src/ui_pref.c