Lors de l'exécution de mon programme Java sur une haute résolution 4K écran La police des noms de dossier dans le JFileChooser semble minuscule, comme il apparaît ici:Java - Comment puis-je augmenter la police des noms de dossier dans JFileChooser?
Je suis en train de trouver un moyen d'augmenter le dossier/taille de police de nom de fichier seulement dans le JFileChooser. L'idée actuelle est de créer un JFileChooser personnalisé, de faire une boucle sur ses éléments et d'essayer d'augmenter la police des noms de dossiers. Je pensais augmenter la police du FilePane, mais cela ne fonctionne pas. Rien ne se passe. Voici mon code:
public class JFileChooserCustom extends JFileChooser {
public JFileChooserCustom() {
setFileChooserFont(this.getComponents());
}
public void setFileChooserFont(Component[] comp) {
for(int x = 0; x < comp.length; x++) {
// System.out.println(comp[x].toString()); // Trying to know the type of each element in the JFileChooser.
if(comp[x] instanceof Container) setFileChooserFont(((Container)comp[x]).getComponents());
try{
if(comp[x] instanceof FilePane) comp[x].setFont(comp[x].getFont().deriveFont(comp[x].getFont().getSize() * 2f));
}
catch(Exception e){}//do nothing
}
}
}
J'espère que quelqu'un pourrait m'aider avec ceci.
Voir aussi [GUI du navigateur de fichiers] (http://codereview.stackexchange.com/q/4446/7784) - au cas où vous décidiez d'abandonner 'JFileChooser' et de le remplacer. –
@Andrew Thompson ... Merci, mais il semble très avancé. Je n'ai pas besoin d'un tel sélecteur sophistiqué :) – Brad