メモの日々

■ [java] Swingでスクロールバーの幅を取得

Swingにて、スクロールバーの幅は

UIManager.getInt("ScrollBar.width");

で取得できるみたい。Oracleによる文書は見つけられていないけれども。

横スクロールバーの高さも上と同じプロパティで決まっているようだった。

■ [life] 歯医者で神経を取る 9回目

今回は、形を整える、と言われて少し削られた後、歯形を取られた。上と下両方。その後仮の被せ物をされて終わり。仮の被せ物はわりと取れやすいみたいなので気を使う必要がある。

1行で終わったけど、45分くらいは掛かったと思う。1700円。