Feature #2913

Advance tooltips: text selection

Ajouté par Matthieu Decorde il y a presque 5 ans. Mis à jour il y a plus de 4 ans.

Statut:New Début:12/10/2020
Priorité:Normal Echéance:
Assigné à:Serge Heiden % réalisé:

0%
Catégorie:UI / Ergonomy Temps passé: -
Version cible:TXM 0.8.4

Description

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

Historique

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

  • Description mis à jour (diff)

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

  • Version cible changé de TXM 0.8.2 - Antract à TXM 0.8.2

#3 Mis à jour par Matthieu Decorde il y a plus de 4 ans

  • Version cible changé de TXM 0.8.2 à TXM 0.8.4

Formats disponibles : Atom PDF