Email Gateway (Mar 22 2025 at 01:26): Email Gateway (Mar 22 2025 at 01:26):From: 伊藤洋介 <glacier345@gmail.com>
Dear Isabelle users,
(especially who are familiar with the Japanese keyboard layout)
I use Isabelle/jEdit in Isabelle2025 on MacBook Air (Sequoia 15.3.2).
My keyboard layout is Japanese.
I noticed yesterday that I couldn't insert the backslash character \.
Until Isabelle2024, it was possible to insert \ by pressing the ￥ key.
However, the current Isabelle/jEdit and vanilla jEdit interpret ￥ as ￥, not
\.
(Opt + ￥ does not work either.)
Does anyone know a workaround?
It is strange because I can insert \ in the applications other than jEdit.
Best regards,
--
伊藤 洋介
Yosuke ITO
+81 80-5057-6931
glacier345@gmail.com
Email Gateway (Mar 23 2025 at 07:55):From: 伊藤洋介 <glacier345@gmail.com>
Dear Isabelle users,
(especially who are struggling with the Japanese keyboard layout)
The issue below has been solved by Prof. Minamide's advice.
If you switch to the US input mode, you can insert \ by Opt + ￥.
I appreciate his kindness.
P.S.
If you know another workaround, I hope you'll let me know.
Best regards.
2025年3月22日(土) 10:25 伊藤洋介 <glacier345@gmail.com>:
Dear Isabelle users,
(especially who are familiar with the Japanese keyboard layout)I use Isabelle/jEdit in Isabelle2025 on MacBook Air (Sequoia 15.3.2).
My keyboard layout is Japanese.I noticed yesterday that I couldn't insert the backslash character \.
Until Isabelle2024, it was possible to insert \ by pressing the ￥ key.
However, the current Isabelle/jEdit and vanilla jEdit interpret ￥ as ￥,
not \.
(Opt + ￥ does not work either.)Does anyone know a workaround?
It is strange because I can insert \ in the applications other than jEdit.Best regards,
--
伊藤 洋介
Yosuke ITO
+81 80-5057-6931
glacier345@gmail.com--
伊藤 洋介
Yosuke ITO
+81 80-5057-6931
glacier345@gmail.com
Last updated: Apr 18 2025 at 01:39 UTC