java gwt richtextarea set line-height

Question

我在java gwt项目中使用了RichTextArea。我能够设置样式的一些参数如下：

IFrameElement fe = (IFrameElement) richTextArea.getElement().cast(); 
Style s = fe.getContentDocument().getBody().getStyle(); 
s.setProperty("fontFamily", "Arial Unicode MS,Arial,sans- serif"); 
s.setProperty("fontSize", "small");

在FF和Chrome中一切正常（像往常一样），但IE再次制造麻烦，因为行高在某种程度上设置为200％或某些东西，或甚至在设置返回时制作html段落。 我试着用

设置它

  s.setProperty("lineHeight", "...");

但那不起作用......