diff --git a/src/model/HotkeyDetector.java b/src/model/HotkeyDetector.java new file mode 100644 index 0000000000000000000000000000000000000000..c0d130bea28446d4bbec20e76a660f4e4ff06d22 --- /dev/null +++ b/src/model/HotkeyDetector.java @@ -0,0 +1,10 @@ +package model; + +public interface HotkeyDetector { + /** + * Detects if a hotkey with the given id was pressed. + * @param id The id of the hotkey which is checked. + * @return If the hotkey was pressed. + */ + boolean wasPressed(int id); +}