J'ai une application où j'ai besoin de changer la taille des polices fréquemment. Une question postée il y a un an sur ce forum (Change just the font size in SWT) m'a donné certaines des informations dont j'avais besoin, mais j'ai encore quelques inconnues que je n'ai pas encore comprises.Comment puis-je changer d'écouteur en toute sécurité?
En particulier, une personne comme la signature hudsonb offert un fragment de code utile que je voudrais reproduire ci-dessous:
FontData[] fontData = label.getFont().getFontData();
for(int i = 0; i < fontData.length; ++i)
fontData[i].setHeight(14);
final Font newFont = new Font(display, fontData);
label.setFont(newFont);
// Since you created the font, you must dispose it
label.addDisposeListener(new DisposeListener() {
public void widgetDisposed(DisposeEvent e) {
newFont.dispose(image);
}
});
Supposons je code comme ceci pour changer la taille des caractères fréquemment. N'ai-je pas créé une séquence entière de DisposeListeners et les ai-je ajoutés à la file d'écoute du label? N'ai-je pas besoin de supprimer l'écouteur précédent chaque fois avant d'ajouter un nouvel écouteur? Ou y a-t-il un mécanisme que je ne comprends pas qui rend cela inutile?
Ajout de la balise 'java'. –