Java Slider - カスタムダニを作る方法？

Question

私には画像スライドショー付きのオーディオトラックがあります。 0:00にイメージ1、0:45にイメージ2、1:03にイメージ3などがあります。現在、JSliderを使用してトラック内の位置を変更しています。私は、画像が変化する点でスライダーに目盛りをつけたいのですが、目盛りの間隔は一様ではないので、setPaintTicksはオプションではありません。 javax.swing.JSliderでこれを行う方法はありますか、別のスライダーコントロールをお勧めしますか？

Answer 1

この問題があり、JSliderのティック間隔をカスタマイズする方法が見つかりませんでした。

JSlider.setLabelTable（）を使用して、カスタムダニラベルを回避することができます。これにより、特定のティックだけにラベルを付けることができます。