Feature #2913

Mis à jour par Matthieu Decorde il y a presque 5 ans

Be able to select the text of TXM tooltips

see: https://git.eclipse.org/c/ease/org.eclipse.ease.core.git/tree/plugins/org.eclipse.ease.ui/src/org/eclipse/ease/ui/help/hovers/internal/JavaDocLikeHover.java?id=812d16ce6155962034d6a95cdadcd5fa62d12dcc

Retour