Feature #2913

Advance tooltips: text selection

Added by Matthieu Decorde over 1 year ago. Updated 8 months ago.

Status:New Start date:10/12/2020
Priority:Normal Due date:
Assignee:Serge Heiden % Done:

0%
Category:UI / Ergonomy Spent time: -
Target version:TXM 0.8.3

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

History

#1 Updated by Matthieu Decorde over 1 year ago

  • Description updated (diff)

#2 Updated by Matthieu Decorde about 1 year ago

  • Target version changed from TXM 0.8.2 - Antract to TXM 0.8.2

#3 Updated by Matthieu Decorde 8 months ago

  • Target version changed from TXM 0.8.2 to TXM 0.8.3

Also available in: Atom PDF