replaced checkbox options with the new editor-opt-bool directive