source  $SECTION_DIRECTORY/KDE_CONFIGURE  &&

config_query_option  KDEWEBDEV_EDITORS  'Allow other editors besides Kate?'  \
                     y  '--enable-editors'  '--disable-editors'
