diff --git a/src/editor/simple/editor.css b/src/editor/simple/editor.css index 489a1d81b..ef12fe8f5 100644 --- a/src/editor/simple/editor.css +++ b/src/editor/simple/editor.css @@ -33,7 +33,7 @@ div.template:hover { background: #def;} .lin input[type=button], -.template input[type=button] { float: right; clear: right; } +.template input[type=button] { float: right; clear: right; margin: 0; } .exb_output { background: #dfd; float: right; margin: 0 10px; } .more, .delete { font-weight: bold; font-family: sans-serif; } diff --git a/src/editor/simple/example_based.js b/src/editor/simple/example_based.js index 07725d242..83fde0f6c 100644 --- a/src/editor/simple/example_based.js +++ b/src/editor/simple/example_based.js @@ -150,7 +150,7 @@ function exb_linbuttons(g,ci,f) { var b=button("Test it",test_it); buttons.push(b) } - var exb_output=node("span",{class:"exb_output"},[]); + var exb_output=node("span",{"class":"exb_output"},[]); buttons.push(exb_output) } return buttons diff --git a/src/example-based/ExampleDemo.hs b/src/example-based/ExampleDemo.hs index b64d1d7a2..49aa6d218 100644 --- a/src/example-based/ExampleDemo.hs +++ b/src/example-based/ExampleDemo.hs @@ -67,9 +67,11 @@ provideExample env myfunc parsePGF pgfFile lang = giveExample e_ = let newexpr = head $ generateFromDepth pgfFile e_ (Just 5) -- change here with the new random generator ty = getType $ head $ filter (\x -> getName x == myfunc) $ getAll env - embeddedExpr = maybe "" (\x -> "\nas in :" ++ linearize pgfFile lang x) (embedInStart (getAll env) (Map.fromList [(ty,e_)])) + embeddedExpr = maybe "" (\x -> ", as in: " ++ q (linearize pgfFile lang x)) (embedInStart (getAll env) (Map.fromList [(ty,e_)])) lexpr = linearize pgfFile lang newexpr - in (newexpr,"\n" ++ lexpr ++ embeddedExpr) + q s = sq++s++sq + sq = "\"" + in (newexpr,q lexpr ++ embeddedExpr) -- question, you need the IO monad for the random generator, how to do otherwise ?? -- question can you make the expression bold/italic - somehow distinguishable from the rest ?