mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 16:36:56 +07:00
It's not necessary as in Quick Documentation a definition is wrapped in <pre/> tag according to new guide lines, and in tooltips line breaks are preserved thanks to UIUtil.getHtmlBody() used in HintUtil.prepareHintText().
1 line
236 B
HTML
1 line
236 B
HTML
<html><body><div class='definition'><pre><a href="psi_element://#typename#Method.Foo">Method.Foo</a><br>@<i>deco</i><br>def <b>meth</b>(self) -> Optional[Any]</pre></div><div class='content'>Doc of meth.</div></body></html> |