はあ，ようやくできた。 PencilBox version 1.2.0 がリリースされました。PencilBox ホームページからどうぞ。それから，ユーザー用メーリングリストを始めました。今どきメーリングリストかって感じですが，よかったらこちらから登録してみてください。きっ…