■高速インデックス検索
インスタサーチ
Release release v1.5.8 · minyoad/eclipse-instasearch · GitHub
上記には、次のようなissueが提起されている。
プラグインを更新してくれた人がいて、それをEclipseに適用すればよい。
incompatible · Issue #100 · ajermakovics/eclipse-instasearch · GitHub
(20230917追記)
C:\pleiades\2022-12\eclipse\dropins にjarを格納する。
"C:\pleiades\2022-12\eclipse\dropins\it.unibz.instasearch_1.5.8.jar"
■ダークモード
画面がちょうどよく暗くなる。
これにフォントconsolas, テーマoblivionが自分には見やすい。
eclipse-one-dark-theme/theme-54613.epf at master · kenstuddy/eclipse-one-dark-theme · GitHub