the Android app now can show Glosses from WordNet

2015-07-01 09:44:56 +00:00
parent c50085a765
commit b3130736e4
14 changed files with 12 additions and 150 deletions
--- a/src/chinese/DocumentationChi.gf
+++ b/src/chinese/DocumentationChi.gf
@@ -124,7 +124,7 @@ oper
  pp : Str -> Str = \s -> "&lt;"+s+"&gt;" ;

 lin
-  MkDocument b i e = {s=i.s1 ++ paragraph b.s ++ i.s2 ++ paragraph e.s} ;
+  MkDocument b i e = {s=i.s1 ++ "<p style=\"font-size:20px\">"++b.s++"</p>" ++ i.s2 ++ paragraph e.s} ;
  MkTag i = {s=i.t} ;

 }