mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-22 04:43:02 +07:00
Mikhail Golubev
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
471 B
HTML
1 line
471 B
HTML
<html><body><div class='definition'><pre><a href="psi_element://#typename#list">list</a><br>def <b>count</b>(self, object: _T) -> <a href="psi_element://#typename#int">int</a></pre></div><div class='content'>L.count(value) -> integer -- return number of occurrences of value</div><table class='sections'><tr><td valign='top' class='section'><p>Assigned to:</td><td valign='top'><code>c1</code></td></table></body></html> |