问题:一些英文单词被翻译成符号
lambda
转换为等效的小希腊字母。and
,or
,in
,exists
,sum
,div
,top
,{{1 },int
转换为符号
如果符号未被识别,则为小空方格。pm
转换为小希腊字母alpha。答案 0 :(得分:0)
要关闭所有缩写,请转到Utilities>全局选项,然后是缩写。取消选中“空格键扩展缩写”。
编辑:我没有意识到你想要使用缩写而不是那些特定的缩写。
要取出lambda,alpha等的缩写,进入同一个对话框,选择“global”(如果尚未选中),然后从列表中选择每个,并点击列表下的减号按钮。不幸的是(至少在jEdit 4.5中)你必须选择每个并单独删除它;你不能选择多个条目。