SikuliX

  1. Bug #757028
  2. Comment #1

Comment 1 for bug 757028

Revision history for this message
niknah (hankin0) wrote : Re: [request] Want to change ALT+SHIFT+C to something else.

You can change it, it's just not in the preferences dialog.

Paste this into a new script...

import org.sikuli.ide as ide
import java.awt.event.KeyEvent as KeyEvent
import java.awt.Event as Event

ide.UserPreferences.getInstance().setStopHotkeyModifiers(Event.ALT_MASK+Event.SHIFT_MASK)
ide.UserPreferences.getInstance().setStopHotkey(KeyEvent.VK_R)

Run it and then restart sikuli, this will change it to alt-shift-r. (change VK_R to VK_C or whatever letter you want)

But there is a typo in sikuli, in the function UserPreferences.java:GetStopHotkeyModifiers()

It should be STOP_HOTKEY_MODIFIERS instead of GET_HOTKEY....

I have another issue with stopping a script, that is that java uses up >=100% of the cpu after I press the stop key sometimes, but this belongs in a separate report.