Swingでサイズの決まっていないPanelを下揃えする

Java

例えば、 JPanel base = new JPanel(); JPanel sub = new JPanel(); JTextField text = new JTextField("hoge"); text.setAlignement(JCompornent.BOTTOM_ARLIGNEMENT); sub.add(text); sub.setAlignement(JCompornent.BOTTOM_ARLIGNEMENT); base.add(sub); …

2011-10-06

JFrameのウィンドウアイコンを変更する

Netbeans Java

NetbeansでJFrameをデザインするとどうにも普通の方法ではウィンドウアイコンが変更できない（ただ知らないだけかも）。そこで以下のようにすると変わるみたいだ。 //これをJFrameのコンストラクタに書く this.setIconImage(new ImageIcon(getClass().getRes…

2011-10-06

ゲンツェンスタイルの証明図を書くツール

Logic TeX Java

drive.google.com※使用にはJava1.6以上のインストールが必要です説明シーケント計算などのゲンツェンスタイルの証明図を書くときは、普通TeXで「proof.sty」を使って書きます。しかし、証明が複雑になるとこれが非常に書きにくい。そこでそのTeX証明図の作…