mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-30 02:09:59 +07:00
69d61a8316
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
500 B
HTML
1 line
500 B
HTML
<html><body><div class='definition'><pre>Property <b>m</b> of <a href="psi_element://#typename#PropNewDocstringOfGetter.C">PropNewDocstringOfGetter.C</a><br>@<i>m.setter</i><br>def <b>m</b>(self, x: Any) -> None</pre></div><div class='content'>Foo</div><table class='sections'><tr><td valign='top' class='section'><p>Documentation is copied from:</td><td valign='top'>property getter</td><tr><td valign='top' class='section'><p>Accessor kind:</td><td valign='top'>Setter</td></table></body></html> |