diff options
| author | hallgren <hallgren@chalmers.se> | 2011-11-21 15:24:29 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-11-21 15:24:29 +0000 |
| commit | d66110f84eec765bb26ebaa716bbce79d6c90913 (patch) | |
| tree | c8b07e3c7233bb6b340d348b34e1409325b0f213 /src/www/gfse/editor.js | |
| parent | e9e029d39f5117f233823acc5a2e04f79827529e (diff) | |
gfse: example-based: some usability improvements
Instead of showing nothing, show disabled buttons and some expanatory text to
provide guidance for users getting started with example-based grammar writing.
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) { |