Как настроить размер большого пальца для JSlider
?
При значениях по умолчанию и диапазоне для JSlider
из 256 большой палец имеет ширину всего в несколько пикселей, что затрудняет управление мышью.
Я использую внешний вид Windows 7 и слайдер выглядит следующим образом:
Включение paintTicks
с большим и меньшим интервалом тика 0 дает лучший (хотя и не предпочтительный) дисплей:
Желаемый дисплей отображается на следующем изображении - взятом из собственного приложения Windows 7: