Stream: Beginner Questions

Topic: Emacs Set Mark Error


view this post on Zulip Yosuke Ito (Jan 24 2022 at 13:04):

I installed jEdit of Isabelle2021-1, and assigned a shortcut for Emacs Set Mark. However, when I evoke the command, the following error occurs.

A BeanShell error occurred.

Sourced file: /Applications/Isabelle2021-1.app/contrib/jedit-20211103/jedit5.6.0-patched/macros/Emacs/Emacs_Set_Mark.bsh unknown error: Unable to make public java.lang.AbstractStringBuilder java.lang.AbstractStringBuilder.append(java.lang.String) accessible: module java.base does not "opens java.lang" to unnamed module @24912924 : at Line: 14 :
 in file: /Applications/Isabelle2021-1.app/contrib/jedit-20211103/jedit5.6.0-patched/macros/Emacs/Emacs_Set_Mark.bsh
 : emacsSetMark ( )

Called from method: makeBufferPropertyName : at Line: 178 : in file: /Applications/Isabelle2021-1.app/contrib/jedit-20211103/jedit5.6.0-patched/macros/Emacs/EmacsUtil.bsh : makeBufferPropertyName ( buffer , "emacs.mark" )
Called from method: setMark : at Line: 11 : in file: /Applications/Isabelle2021-1.app/contrib/jedit-20211103/jedit5.6.0-patched/macros/Emacs/Emacs_Set_Mark.bsh : setMark ( buffer , textArea .getCaretPosition ( ) )
Called from method: emacsSetMark : at Line: 14 : in file: /Applications/Isabelle2021-1.app/contrib/jedit-20211103/jedit5.6.0-patched/macros/Emacs/Emacs_Set_Mark.bsh : emacsSetMark ( )
    at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:696)
    at org.gjt.sp.jedit.BeanShell._runScript(BeanShell.java:343)
    at org.gjt.sp.jedit.BeanShell._runScript(BeanShell.java:291)
    at org.gjt.sp.jedit.BeanShell.runScript(BeanShell.java:217)
    at org.gjt.sp.jedit.Macros$BeanShellHandler.runMacro(Macros.java:1108)
    at org.gjt.sp.jedit.Macros$Macro.invoke(Macros.java:530)
    at org.gjt.sp.jedit.gui.InputHandler.invokeAction(InputHandler.java:343)
    at org.gjt.sp.jedit.gui.InputHandler.invokeAction(InputHandler.java:308)
    at org.gjt.sp.jedit.gui.DefaultInputHandler.handleKey(DefaultInputHandler.java:191)
    at org.gjt.sp.jedit.input.AbstractInputHandler.processKeyEventKeyStrokeHandling(AbstractInputHandler.java:407)
    at org.gjt.sp.jedit.gui.InputHandler.processKeyEvent(InputHandler.java:152)
    at org.gjt.sp.jedit.textarea.TextArea.processKeyEvent(TextArea.java:4749)
    at java.desktop/java.awt.Component.processEvent(Component.java:6403)
    at java.desktop/java.awt.Container.processEvent(Container.java:2266)
    at java.desktop/java.awt.Component.dispatchEventImpl(Component.java:5001)
    at java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2324)
    at java.desktop/java.awt.Component.dispatchEvent(Component.java:4833)
    at java.desktop/java.awt.KeyboardFocusManager.redispatchEvent(KeyboardFocusManager.java:1952)
    at java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(DefaultKeyboardFocusManager.java:883)
    at java.desktop/java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(DefaultKeyboardFocusManager.java:1150)
    at java.desktop/java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(DefaultKeyboardFocusManager.java:1020)
    at java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKeyboardFocusManager.java:848)
    at java.desktop/java.awt.Component.dispatchEventImpl(Component.java:4882)
    at java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2324)
    at java.desktop/java.awt.Window.dispatchEventImpl(Window.java:2780)
    at java.desktop/java.awt.Component.dispatchEvent(Component.java:4833)
    at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:773)
    at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:722)
    at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:716)
    at java.base/java.security.AccessController.doPrivileged(AccessController.java:399)
    at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:86)
    at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:97)
    at java.desktop/java.awt.EventQueue$5.run(EventQueue.java:746)
    at java.desktop/java.awt.EventQueue$5.run(EventQueue.java:744)
    at java.base/java.security.AccessController.doPrivileged(AccessController.java:399)
    at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:86)
    at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:743)
    at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203)
    at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124)
    at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113)
    at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109)
    at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
    at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)

I would be very happy if anyone suggests a workaround.
I use MacBook Air (Mid 2013), macOS Big Sur version 11.6.2.


Last updated: Aug 15 2022 at 02:13 UTC