私は最近、gtk(特にgedit)のテーマをColorerテーマにハイライトするコードのコンバーターを公開しましたが、そのとき(PyDevにテーマをロードするメカニズムがないため)PyDevで問題を解決することができなかったため、それらをさらに手動で入力するためのトピック。
このスクリプトは原始的で、膝の上にスケッチされていますが、その仕事はします。 同じDigeratiテーマがありますが、すでにpydevにあります:
次に、スクリプト自体の出力を示します。
ここからスクリプトをダウンロードできます。