mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-09 16:39:37 +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().
2 lines
71 B
HTML
2 lines
71 B
HTML
class A
|
|
def f(self) -> <a href="psi_element://#typename#int">int</a> |