J'ai vraiment une question simple: la documentation SWT indique que si vous utilisez styledText, vous implémentez son API ou vous implémentez LineStyleListener. Donc, si j'utilise LineStyleListener, comment puis-je encore contrôler la représentation de caractères spécifiques dans le widget de l'éditeur? Il semble que l'implémentation de LineStyleListener ne fournisse que la coloration de la ligne entière à la fois.Utiliser styledText dans l'application SWT
Merci