“发生了什么事？”；编译Prolog代码；（Alt+；K）在Juno的SICStus Eclipse SPIDER菜单中？

我刚刚从以下URL下载，从Eclipse Indigo升级到经典的Eclipse 4.2 Juno：

我在Eclipse Juno中安装了SPIDER，来自以下更新URL：

现在，当我启动Juno时，我不再能够使用快捷方式ALT+K编译当前的Prolog代码。该选项也将从SPIDER提供的SICStus菜单中删除

有谁能解释一下为什么会发生这种情况，或者如何应对？ 我想编译我的代码而不需要大量的打字！谢谢 我尝试过使用与以前相同的工作区和一个全新的工作区

编辑：我在一个Win7 64位系统上，有一个全新的Juno经典安装（除了SPIDER插件），还有一个全新的工作区

EDIT2:Alt+K似乎出现在第一个新创建或打开的文件中，但当我对其他*.pl文件执行“文件->打开”操作时，SICStus菜单上的Alt+K选项将“移动”以仅适用于此新文件（不再适用于其他文件）。我觉得这种行为很奇怪

---

EDIT3：在Per Mildner提供了一些支持回答之后，我能够得到“几乎正常工作”的结果，例如，对于新打开的文件，一次一个。我现在正在等待他8月份度假回来，或者等待其他人为这个奇怪的问题提供更好、更持久的解决方案。

这个问题是由Eclipse4.2和早期版本之间的不兼容引起的。该问题已在最新版本的SPIDER（0.0.42）中修复

---

（我是SPIDER的作者）

我仔细查看了Mildner的支持检查表，在第2项之后，我发现Alt+K适用于新会话中新打开的第一个prolog文件，但不适用于以前会话中的文件或在第一个会话之后打开的文件

以下是要尝试的内容，在每一步之后，请验证问题是否仍然存在：

重新启动Eclipse

在旧工作区中创建新的Prolog项目，添加一些Prolog 文件到它

使用新的工作区

使用-clean选项启动eclipse， e、 g

---

我目前在Windows7（64位）上对此的“解决办法”是单击eclipse窗口底部附近的SICStus选项卡。这实际上激活了编辑器中当前文件的ALT+K选项。

谢谢您的快速回答！我尝试了一个新的工作区（在Win7上），但仍然看不到Alt+K选项，但是在浏览了“HelloWorld备忘单”之后，它突然出现了。