Added single number font size changing commands (praat)

This commit is contained in:
José Joaquín Atria 2014-06-03 15:10:31 -04:00
commit d57e010ca3

View file

@ -118,9 +118,13 @@ var PraatHighlightRules = function() {
token : ["text", "keyword", "text", "keyword"],
regex : /(^\s*)(?:(demo)?(\s+))((?:[A-Z][^.:"]+)(?:$|(?:\.{3}|:)))/
}, {
token : ["text", "keyword"],
regex : /(^\s*)(demo\b)/
token : ["text", "keyword", "text", "keyword"],
regex : /^(\s*)(?:(demo)(\s+))?(10|12|14|16|24)$/
}, {
// Is this rule necessary?
// token : ["text", "keyword"],
// regex : /(^\s*)(demo\b)/
// }, {
token : "entity.name.type",
regex : "(" + objectTypes + ")"
}, {