すべての折り畳みを折りたたむと、JSDT の折り畳みにいくつかの奇妙な点 (おそらくバグ) があります ([ウィンドウ] > [設定] > [一般] > [キー] のキー コマンド「すべてを折りたたむ」など)。次に、折り目を 1 つだけ展開すると、このスクリーンショットのように、展開された領域内にあってはならない場所に多くの折り目が残ります。
さらに悪いことに、すべての折り畳みを折りたたんでから (+) 記号をクリックして切り替えると、折り目が崩れて折りたたまれ、折り畳みがまったくないはずのまったく間違った行が展開されることがあります。
余分な折りたたみマークの 1 つにカーソルを置いて何かを入力すると、余分な折りたたみマークがすべて消えます。
この動作は JSDT 1.2 以降変更されていないようです (私は 1.4.0.v20111109 を使用しています)。これは既知のバグですか?修正または回避策はありますか?