Notepad ++:模态逻辑的UTF8字符之间的奇怪依赖

如何解决Notepad ++:模态逻辑的UTF8字符之间的奇怪依赖

使用Notepad ++中的UTF8编码文件,复制/粘贴以下内容

∃ → ∃ ∃ ∃∃∃

然后用空格替换箭头,您可能会期望∃ ∃ ∃ ∃∃∃, 但您会得到6个未知字符(白色方块)。
将箭头再次粘贴到该行的任何位置,将恢复“存在”符号!

因此,我无法在记事本++中设置模态逻辑语句◊∃x[Φ(X)]

我无法解释。有想法吗?

(PS:使用Notepad ++ 64位V7.8.7)

解决方法

根据建议,我在github上记录了一个问题。更多here
如果要重新编译,可以使用补丁。
解决方法是,记事本(我使用win10)中可用的某些字体(和变体)没有此缺陷:

  • 坎布里亚
  • 一些 Noto (例如 Noto Naskh阿拉伯语),但不是全部
  • 一些 Segoe (例如 Segoe Ui Symbol ),但不是全部
  • 某些 Source Code Pro (例如 Source Code Pro Medium ),但不是全部
  • 所有 Yu Gothic (我现在将 Yu Gothic Ui 用于我的报告)

感谢所有人。

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。

相关推荐


Selenium Web驱动程序和Java。元素在(x,y)点处不可单击。其他元素将获得点击?
Python-如何使用点“。” 访问字典成员?
Java 字符串是不可变的。到底是什么意思?
Java中的“ final”关键字如何工作?(我仍然可以修改对象。)
“loop:”在Java代码中。这是什么,为什么要编译?
java.lang.ClassNotFoundException:sun.jdbc.odbc.JdbcOdbcDriver发生异常。为什么?
这是用Java进行XML解析的最佳库。
Java的PriorityQueue的内置迭代器不会以任何特定顺序遍历数据结构。为什么?
如何在Java中聆听按键时移动图像。
Java“Program to an interface”。这是什么意思?
Java在半透明框架/面板/组件上重新绘画。
Java“ Class.forName()”和“ Class.forName()。newInstance()”之间有什么区别?
在此环境中不提供编译器。也许是在JRE而不是JDK上运行?
Java用相同的方法在一个类中实现两个接口。哪种接口方法被覆盖?
Java 什么是Runtime.getRuntime()。totalMemory()和freeMemory()?
java.library.path中的java.lang.UnsatisfiedLinkError否*****。dll
JavaFX“位置是必需的。” 即使在同一包装中
Java 导入两个具有相同名称的类。怎么处理?
Java 是否应该在HttpServletResponse.getOutputStream()/。getWriter()上调用.close()?
Java RegEx元字符(。)和普通点?