Introduce option_changed() for marking the options as modified
commitd34fe568cdd7441493466a6758542ef73e459225
authorPetr Baudis <pasky@ucw.cz>
Wed, 12 Oct 2005 07:49:40 +0000 (12 09:49 +0200)
committerPetr Baudis <pasky@machine.(none)>
Wed, 12 Oct 2005 07:49:40 +0000 (12 09:49 +0200)
tree4683bcbe75546af60c3f10ac3fbfab7d02722a11
parentdea63f3103e2748c50880f70ee2dcf0797b0a39d
Introduce option_changed() for marking the options as modified

This just bundles the touching and calling change hooks.
src/config/dialogs.c
src/config/options.c
src/config/options.h
src/dialogs/options.c
src/session/session.c