| http://www.w3.org/ns/prov#value | - Requires // auto_indent to be enabled. indent_to_bracket: true, // Trims white space added by auto_indent when moving the caret off the // line. trim_automatic_white_space: true, // Disables horizontal scrolling if enabled. // May be set to true, false, or auto, where it will be disabled for // source code, and otherwise enabled. word_wrap: auto, // Set to a value other than 0 to force w
|
