当我折叠所有折叠时,在JSDT中折叠有一些奇怪的东西(可能是一个bug)(如在窗口> Preferences> General> Keys中的键命令“全部折叠”中)。如果我然后只扩展一个折叠,它会展开并在不应该放置的区域内留下许多折叠标记,如截图所示:
更糟糕的是,有时当我折叠所有折叠然后通过点击(+)标志来切换它们时,折叠会变得坚硬并且折叠并且完全错误地展开,而不应该是任何折叠。
如果我将光标放在其中一个额外的折叠标记上并输入任何内容,则所有额外的折叠标记都会消失。
自从JSDT 1.2(我使用1.4.0.v20111109)以来,这种行为似乎没有改变。这是一个已知的错误,是否有任何修复或解决方法?