diff options
Diffstat (limited to 'src/gui/gui.cpp')
| -rw-r--r-- | src/gui/gui.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/gui/gui.cpp b/src/gui/gui.cpp index 554c1ff42..deed890ae 100644 --- a/src/gui/gui.cpp +++ b/src/gui/gui.cpp @@ -1234,7 +1234,7 @@ Widget* Gui::getKeyEventSource() return widget; } -void Gui::distributeKeyEvent(KeyEvent& keyEvent) +void Gui::distributeKeyEvent(KeyEvent& keyEvent) const { Widget* parent = keyEvent.getSource(); Widget* widget = keyEvent.getSource(); @@ -1437,7 +1437,7 @@ void Gui::handleModalFocusReleased() } } -int Gui::getMousePressLength() +int Gui::getMousePressLength() const { if (!mLastMousePressTimeStamp) return 0; |