Не удается нормально поменять шрифт у JSpinner - Java
Формулировка задачи:
Столкнулся со странной проблемой. Не удается нормально поменять шрифт у JSpinner. Поясняю: первый раз все срабатывает, а потом нет, т.е. если написать
то шрифт будет 24 - й и все последующие вызовы setFont игнорируются (точнее свойство font вроде меняется, но на экране - ничего. Всякие валидейты, ревалидейты, инвалидейты, репеинты не помогают). Если бы оно полностью не работало - сам бы покопал, а так даже не знаю... Помогите кто чем может
JSpinner sp = new JSpinner(spModel); sp.setFont(new Font("serif", Font.PLAIN, 24)); sp.setFont(new Font("serif", Font.BOLD, 44));
Решение задачи: «Не удается нормально поменять шрифт у JSpinner»
textual
Листинг программы
try { ((JSpinner.DefaultEditor) (spinner.getEditor())).getTextField().setFont(font); } catch (ClassCastException ex) { spinner.setFont(font); //не вышло по-плохому - пробуем по-хорошему }
ИИ поможет Вам:
- решить любую задачу по программированию
- объяснить код
- расставить комментарии в коде
- и т.д