Feature #2237
RCP: X.X, Manage font display in all TXM widgets (editors, views, etc.)
| Statut: | New | Début: | 09/08/2017 | |
|---|---|---|---|---|
| Priorité: | Normal | Echéance: | ||
| Assigné à: | - | % réalisé: | 0% |
|
| Catégorie: | UI | Temps passé: | - | |
| Version cible: | TXM 0.8.4 |
Description
FR - SLH
gérer la police ( taille, etc.) dans les concordances (et tous les outils en fait)
Solution¶
Understand Eclipse RCP font management of editors, views, dialogs, widgets...
Gives a more simple access to those options
Demandes liées
Historique
#1 Mis à jour par Sebastien Jacquot il y a plus de 7 ans
- Version cible changé de TXM 0.8.0a (split/restructuration) à TXM 0.8.0
#2 Mis à jour par Matthieu Decorde il y a plus de 6 ans
- Version cible changé de TXM 0.8.0 à TXM 0.X.X
#3 Mis à jour par Matthieu Decorde il y a plus de 6 ans
- Sujet changé de RCP: X.X, Manage font display in all TXM widgets (editors, views, etc.) à RCP: X.X, Manage font display in all TXM widgets (editors, views, etc.) and editions
- Description mis à jour (diff)
- Version cible changé de TXM 0.X.X à TXM 0.8.2
#4 Mis à jour par Matthieu Decorde il y a presque 6 ans
- Description mis à jour (diff)
#5 Mis à jour par Matthieu Decorde il y a presque 6 ans
- Sujet changé de RCP: X.X, Manage font display in all TXM widgets (editors, views, etc.) and editions à RCP: X.X, Manage font display in all TXM widgets (editors, views, etc.)
#6 Mis à jour par Matthieu Decorde il y a plus de 5 ans
- Description mis à jour (diff)
#7 Mis à jour par Matthieu Decorde il y a plus de 4 ans
- Version cible changé de TXM 0.8.2 à TXM 0.8.4