今とあるツールを久々にJavaのSwingで書いている時に、複数のコンテンツをパッキングしてその間にサイズ調整の棒を表示してユーザーがリサイズできるようにする必要が生じました。JSplitPaneをあてにしていたのですが、どうも奴は2つのコンポーネントしか扱…

Mozart.appが更新されていた。 以前の記事ではMozart 1.4.0という少し古いバージョンをEmacs.appで使う方法について書いていたのですが、Mozartのホームページに更新がかかったことを知り、確認してみるとページも綺麗になりMozart-Oz v2という少し新しくな…