diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-01-11 20:51:36 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-11 20:51:36 -0800 |
commit | 5e2e9034f13438ad6286ab09d49cfe425f06090c (patch) | |
tree | 64483c4a0b2b881401b827e82b4c40b8ac06c22d | |
parent | 7ebd66bdda69f0d580e54b6f272d6ec7ed54fa1e (diff) |
Small improvements to xml.js.
-rw-r--r-- | js/lib/xml.js | 24 |
1 files changed, 14 insertions, 10 deletions
diff --git a/js/lib/xml.js b/js/lib/xml.js index 69db60d..c90704e 100644 --- a/js/lib/xml.js +++ b/js/lib/xml.js @@ -21,6 +21,10 @@ var tag = function(name, attrs, selfclosing) { var reXMLTag = /\<[^>]*\>/; +var toTagName = function(s) { + return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase(); +}; + var renderNodes = function(block) { var attrs; @@ -76,7 +80,7 @@ var renderNodes = function(block) { selfClosing = node.t === 'HorizontalRule' || node.t === 'Hardbreak' || node.t === 'Softbreak' || node.t === 'Image'; unescapedContents = node.t === 'Html' || node.t === 'HtmlInline'; - tagname = node.t.toLowerCase(); + tagname = toTagName(node.t); if (entering) { @@ -84,16 +88,16 @@ var renderNodes = function(block) { if (node.list_data) { var data = node.list_data; - if (data.type) { + if (data.type !== undefined) { attrs.push(['type', data.type.toLowerCase()]); } - if (data.start) { + if (data.start !== undefined) { attrs.push(['start', String(data.start)]); } - if (data.tight) { + if (data.tight !== undefined) { attrs.push(['tight', (data.tight ? 'true' : 'false')]); } - if (data.delimiter) { + if (data.delimiter !== undefined) { var delimword = ''; if (data.delimiter === '.') { delimword = 'period'; @@ -104,22 +108,22 @@ var renderNodes = function(block) { } } - if (node.info) { + if (node.info !== undefined) { attrs.push(['info', node.info]); } - if (node.level) { + if (node.level !== undefined) { attrs.push(['level', String(node.level)]); } - if (node.destination) { + if (node.destination !== undefined) { attrs.push(['destination', node.destination]); } - if (node.title) { + if (node.title !== undefined) { attrs.push(['title', node.title]); } if (options.sourcepos) { var pos = node.sourcepos; - if (pos) { + if (pos !== undefined) { attrs.push(['data-sourcepos', String(pos[0][0]) + ':' + String(pos[0][1]) + '-' + String(pos[1][0]) + ':' + String(pos[1][1])]); |