diff options
Diffstat (limited to 'src/www/gfse/editor.js')
| -rw-r--r-- | src/www/gfse/editor.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/www/gfse/editor.js b/src/www/gfse/editor.js index 95c72d972..7f2112b6b 100644 --- a/src/www/gfse/editor.js +++ b/src/www/gfse/editor.js @@ -990,6 +990,7 @@ function inError(msg,el) { function kw(txt) { return wrap_class("span","kw",text(txt)); } function sep(txt) { return wrap_class("span","sep",text(txt)); } function ident(txt) { return wrap_class("span","ident",text(txt)); } +function unimportant(txt) { return wrap_class("small","unimportant",text(txt)); } function indent(cs) { return div_class("indent",cs); } function indent_sortable(cs,sort) { |