わからん。他のプラグインのソースを参考に解決予定。 ＃追記、簡単だった。最後のbooleanの引数をtrueにするとラベルが消えてラジオボタンがグループで囲まれます。従来のラベルはグループのラベルになります。

教祖様〜時間ある時に試してもらえますか〜？串が使えるかどうか。設定ページに串の設定増やしました。テストは・・・m(__)mペコリ。0.0.2 ＃追記：どうやらうまくいったようです。テスト感謝ですm(._.)m

見栄えが悪くなってきたので、Groupクラスを使ってレイアウトを綺麗にしようと思った。プリファレンスページを作成するにはPreferencePageクラスを継承して作成すれば良いが、もっと簡単に作るにはFieldEditorPreferencePageクラスを継承すれば良い。両クラ…

昔、Javaでチャットを作った時にやった気がするけど、忘れてしまった…。環境変数に追加したような気がしないでもないから、ぐぐってみた。 System.setProperty("proxySet", "true"); System.setProperty("proxyHost", "ホスト名"); System.setProperty("prox…

追記：ちょっと読み返してみた。ほんの一文で全然違う話に飛んでいるのがすごいと思った。私は思いつきでものを言う人だorz。思いつく事とにかく書き続けていたら止まらないかも。 現在の通勤図書に資料作りの本が指定されているんですが、これがまた奥が深…