-
JSpinner et SpinnerModel
Bonjour,
1) Je viens de tomber sur un curieux problème. Je m'explique :
Je souhaite créer un JSpinner "horaire", c'est à dire qu'il afficherait uniquement une heure, de "00:00" à "23:59".
Bon, j'essaye le SpinnerDateModel qui m'affiche, lui, la Date complète. J'ai donc copier-coller cette classe pour la personnaliser.
Bref. Là où je veux en venir, c'est qu'avec deux classes model strictement identique mais de package différent, le JSpinner ne m'affiche pas la même chose du tout :
Avec le model javax.swing.SpinnerDateModel, j'obtient par exemple :
15/09/06 16:24
et chaque champ (jour, mois, heure, etc.) est incrémentable selon celui sélectionné.
Alors qu'avec monpackage.SpinnerDateModel, copie conforme du précédent, j'obtient :
15 sept. 2006
et le textField est grisé (non editable), la Date incrémenté par jour uniquement.
Merci à celui ou celle qui pourra m'expliquer ceci.
2) Par la même occasion, quelqu'un pourrait-il me dire comment marche l'editor du JSpinner. Car à la base, je pensais créer un model tout simple à 4 chiffres, et un JFormattedTextField ("##:##"). Mais j'ai essayer setEditor(formattedTextField) et le JSpinner ne fonctionnait plus (aucune incrémentation).
Voilà voilà. Merci d'avance pour votre aide.
-
j'ai pas tout compri dans le probleme.
mais de mon experience, j'evite d'utiliser le JSpinner. c'est un composant avec trop de bug.
si j'ai besoin un truc comme JSpinner, je le crer moi meme. c'est plus prudent. ;)
(je me demande combien de bug dans la bug parade sont pour le JSpinner :roll: )
-
Pour ta première question, je pense que ça peut venir du LookAndFeel. Il associe des options par défaut au JSpinner lorsqu'il a un javax.swing.SpinnerDateModel, mais pas pour les autres modèles (qui à priori n'ont rien à voir).
Pour les editors, je ne connais pas assez. As tu essayé d'utiliser le DateEditor de JSpinner :
Code:
monJSpinner.setEditor(new JSpinner.DateEditor("dd:mm"));
-
Re
bbclone : Je suis assez d'accord avec toi. C'est uniquement par manque de temps que j'avais choisi ce JSpinner, mais au final, ça m'en prend plus que si je l'avais refait ! :roll:
xavlours : Comme toi, j'avais pensé au Look & Feel, mais ce n'est pas ça... Par contre, avec le DateEditor qui m'était passé sous le nez, j'ai exactement ce que je voulais.
Mis à part ce bug apparemment courant pour un JSpinner, c'est ok.
Merci pour vos réponses ! ;)
