diff options
| author | hallgren <hallgren@chalmers.se> | 2012-11-21 17:13:21 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-11-21 17:13:21 +0000 |
| commit | e7b14316dd3f76e0cca346430a7937fbf8dc7f1e (patch) | |
| tree | 757be58fa96f763f17c97b952cbc7bf1c30ccf3b /src/www/syntax-editor | |
| parent | 381dc3900cbdef699ace67113c61adf2016eef17 (diff) | |
minibar+syntax editor integration, work in progress 2
+ Transfer current astract syntax tree when activating the syntax editor
from the minibar.
+ Add options to start the minibar with given input. You need to include
the current grammar url, the current language and the input, like this:
initial_grammar: "/grammars/Foods.pgf",
initial: { from: "FoodsEng", input:["that","fish","is","fresh"]}
+ Fix a style sheet clash.
Diffstat (limited to 'src/www/syntax-editor')
| -rw-r--r-- | src/www/syntax-editor/editor.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/www/syntax-editor/editor.css b/src/www/syntax-editor/editor.css index 1675372f7..29f45a7e7 100644 --- a/src/www/syntax-editor/editor.css +++ b/src/www/syntax-editor/editor.css @@ -7,7 +7,7 @@ body.syntax_editor { display:none; } -select#to_menu +#editor select#to_menu { height: 10em; position: absolute; |
