C:\eclipse\eclipse.exe -vmargs -DproxySet=true -DproxyHost=[IPAddress] -DproxyPort=[port]
SWTのサンプルコーディング集。これは役に立つかも。
http://dev.eclipse.org/viewcvs/index.cgi/%7Echeckout%7E/platform-swt-home/dev.html
${ECLIPSE_HOME}\workspace\.metadata\.plugins\org.eclipse.jdt.ui\pref_store.ini
の org.eclipse.jdt.ui.editor.showSegments が、
org.eclipse.jdt.ui.editor.showSegments=true
となっている場合にバグる。
これをfalseにしよう。
org.eclipse.ui.workbench/org.eclipse.ui.commands= がキーバインド
この記事は
現在のアクセス:7242