差分

===Javadoc [[Java]]doc URLを設定する===

3.0までは、Window->>Preferences->>[[Java]]->>Installed JREs にて、JREを選択すると、ダイアログに Javadoc [[Java]]doc URL を指定するテキストボックスがあったのだが、3.1では存在しない。''Use default system libraries'' のチェックをはずして、個別に設定することができる。これでShift+F2で、Javadocが起動する。F2で、[[Java]]docが起動する。