Инструменты разработки Eclipse JavaScript имеют странное поведение свертывания "Свернуть все"
Есть некоторые странные вещи (возможно, ошибка) со свертыванием в JSDT, когда я сворачиваю все сгибы (как в ключевой команде "Свернуть все" в "Окне"> "Установки"> "Основные"> "Ключи"). Если я затем разверну только одну складку, она развернется и оставит много меток складывания внутри расширенной области в местах, где их не должно быть, как на этом скриншоте:
Хуже того, иногда, когда я сворачиваю все сгибы, а затем переключаю их, нажимая на знаки (+), сгибы сходят с ума и сгибаются и расширяют совершенно неправильные линии, где вообще не должно быть сгибов.
Если я наведу курсор на одну из этих дополнительных меток сгиба и наберу что-нибудь, все лишние метки сгиба исчезнут.
Это поведение, похоже, не меняется с версии JSDT 1.2 (я использую 1.4.0.v20111109). Это известная ошибка, есть ли исправления или обходные пути?