java - java gwt richtextarea设置行高

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 又遇到了麻烦，因为那里的 line-height 以某种方式设置为 200% 或其他东西，或者在设置返回时甚至在制作 html 段落。我试着用

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

但这没有用...