summaryrefslogtreecommitdiff
path: root/src/gui/gui.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/gui/gui.h')
-rw-r--r--src/gui/gui.h18
1 files changed, 11 insertions, 7 deletions
diff --git a/src/gui/gui.h b/src/gui/gui.h
index 8805f2518..7ecb56b21 100644
--- a/src/gui/gui.h
+++ b/src/gui/gui.h
@@ -316,9 +316,12 @@ class Gui final
void handleMouseInput();
- void distributeMouseEvent(Widget* source, int type, int button,
- int x, int y, bool force = false,
- bool toSourceOnly = false);
+ void distributeMouseEvent(Widget *const source,
+ const int type,
+ const int button,
+ const int x, const int y,
+ const bool force = false,
+ const bool toSourceOnly = false);
/**
*
@@ -343,7 +346,7 @@ class Gui final
* @return The widget at a certain position.
* @since 0.6.0
*/
- Widget* getWidgetAt(int x, int y) A_WARN_UNUSED;
+ Widget* getWidgetAt(const int x, const int y) const A_WARN_UNUSED;
/**
* Gets the source of the mouse event.
@@ -351,7 +354,8 @@ class Gui final
* @return The source widget of the mouse event.
* @since 0.6.0
*/
- Widget* getMouseEventSource(int x, int y) A_WARN_UNUSED;
+ Widget* getMouseEventSource(const int x,
+ const int y) const A_WARN_UNUSED;
/**
* Gets the source of the key event.
@@ -359,7 +363,7 @@ class Gui final
* @return The source widget of the key event.
* @since 0.6.0
*/
- Widget* getKeyEventSource() A_WARN_UNUSED;
+ Widget* getKeyEventSource() const A_WARN_UNUSED;
/**
* Distributes a key event.
@@ -368,7 +372,7 @@ class Gui final
* @since 0.6.0
*/
- void distributeKeyEvent(KeyEvent& keyEvent) const;
+ void distributeKeyEvent(KeyEvent &keyEvent) const;
/**
* Distributes a key event to the global key listeners.