/*prettydiff.com wrap:80 object_sort:true vertical:true*/ /*global global*/ (function options_init(): void { "use strict"; const optionDef = { // accessibility : { // api : "any", // mode : "analysis", // lexer : "markup", // label : "Accessibility Analysis", // type : "boolean", // definition: "Whether analysis of HTML should include an accessibility report.", // default : false // }, brace_line : { api : "any", mode : "beautify", lexer : "script", label : "Brace Lines", type : "boolean", definition: "If true a new line character will be inserted after opening curly braces and bef" + "ore closing curly braces.", default : false }, wrap : { api : "any", mode : "any", lexer : "any", label : "Wrap", type : "number", definition: "Character width limit before applying word wrap. A 0 value disables this option." + " A negative value concatenates script strings.", default : 0 } }; global .prettydiff .api .optionDef = optionDef; }());