阿尔法

File Edit View Options Utils

菜单概述

阿尔法的主编辑窗口有一个菜单栏,其中包含以下菜单:

[菜单栏图像]

下面,我们简要描述了您所有命令的用途在这些菜单中查找。

这个文件菜单

[菜单栏图像]

这个编辑菜单

[编辑菜单图像]

编辑菜单包含以下编辑操作,其中一些操作应该熟悉其他编辑。

最后两个命令仅适用于占位符已选择,但目前没有对此的视觉反馈。

[菜单栏图像]

这个查看菜单

[查看菜单图像]

[菜单栏图像]

这个选项菜单

[选项菜单图像]当占位符为所选内容以及菜单窗口中显示的内容。

输入模式

缩写
这是原始模式,其中每个命令都被指定了唯一的键盘快捷方式,显示在菜单窗口中。A类这个解决方案的问题是缩写如下动态计算,可以分配相同的命令不同上下文中的不同缩写。这意味着你必须一直看菜单才能知道该做什么输入,这会减慢编辑速度。(中的第一个字符缩写总是相同的,所以您可以始终输入标识符的第一个字母,而不在菜单中查找…)
完工(在建)
在此模式下,文本输入字段显示在选中时的占位符。您必须输入完整命令,但有一个完成机制当你点击选项卡钥匙,如果有只有一个匹配的命令,或显示匹配的列表菜单窗口中的命令(如果有多个)。向上/向下箭头键逐步通过列表可用命令的。你可以必须点击一层楼键激活文本输入字段。(在字段中单击似乎不起作用…)

菜单模式

这些选项控制菜单窗口中显示的内容。
显示范围内的所有内容
显示范围中的所有标识符。状态指示灯(红色绿色)指示可用于优化选定占位符。
显示所有内容,无状态
如上所述,但省略了状态指示灯。如果需要,请使用此选项计算状态指示灯太慢。
通过类型检查器筛选.
这是原始模式,其中只有标识符可以用于优化显示当前目标。如果有,这可能会很慢范围内有许多标识符。
如果阿尔法在你做大型校样时速度太慢,请选择完工显示所有内容,不地位可能会更快。
仅根据上下文进行细化
尽管它基于lambda演算Alfa中使用的语言丰富了以下内容构造,例如记录、投影、数据类型、案例表达式和局部定义。启用此选项后,构造这些奇特表达式的大多数命令是从菜单中删除,留下在纯lambda演算。当你工作时,这可能很有用使用基于更简单表达式语言的插件模块。

菜单语言

插件模块可以提供其他方式来显示以下命令出现在菜单窗口中。这些选项允许您选择哪个视图使用。
内置
当没有插件模块处于活动状态时,这是唯一的选项。

(在撰写本文时,已经使用了这种可能性只有在GF插件中,它允许将表达式转换为各种自然语言。这就是为什么这些选项被称为语言的原因。)

自动求解约束
当占位符实例化后,可能会对其他占位符。打开此选项时,解决了这些约束在安全的情况下,受影响的占位符被实例化,即,实际上只有一种可能的解决方案。禁用此选项后,不会自动求解任何约束。相反,应用自动解决方案的命令出现在菜单中。您还可以手动实例化受影响的占位符。这给了你更容易控制,例如如果你有一个定义a=b和约束?1=b,自动约束求解器会实例化吗?1到b,但是你可能更喜欢实例化?1至a。
自动滚动到光标中央
使用此选项,Alfa尝试将光标保持在窗户。禁用此选项后您正在处理的文档可能会接近窗口,很难看到你在做什么。用这个选项打开时,事情可能会跳得太多。

[菜单栏图像]

这个实用程序菜单

[实用程序菜单图像]这些命令打开(或关闭)辅助窗口。