summaryrefslogtreecommitdiff
path: root/src/www/syntax-editor
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2012-11-21 17:13:21 +0000
committerhallgren <hallgren@chalmers.se>2012-11-21 17:13:21 +0000
commite7b14316dd3f76e0cca346430a7937fbf8dc7f1e (patch)
tree757be58fa96f763f17c97b952cbc7bf1c30ccf3b /src/www/syntax-editor
parent381dc3900cbdef699ace67113c61adf2016eef17 (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.css2
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;