From d57e010ca3c3bbb77a2b7104bd1837fdf3a4af9e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jos=C3=A9=20Joaqu=C3=ADn=20Atria?= <jjatria@gmail.com>
Date: Tue, 3 Jun 2014 15:10:31 -0400
Subject: [PATCH] Added single number font size changing commands (praat)

---
 lib/ace/mode/praat_highlight_rules.js | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/lib/ace/mode/praat_highlight_rules.js b/lib/ace/mode/praat_highlight_rules.js
index 0ce8a802..9ba554ec 100644
--- a/lib/ace/mode/praat_highlight_rules.js
+++ b/lib/ace/mode/praat_highlight_rules.js
@@ -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 + ")"
             }, {