display: Fix GraphicsWindow::get_pointer() listed as deprecated

[skip ci]
This commit is contained in:
rdb 2021-02-17 10:55:20 +01:00
parent 17341b18ed
commit 3592404fa8

View File

@ -353,9 +353,9 @@ disable_pointer_mode(int device) {
}*/ }*/
/** /**
* Returns the MouseData associated with the nth input device's pointer. This * Returns the MouseData associated with the nth input device's pointer.
* is deprecated; use get_pointer_device().get_pointer() instead, or for raw * Using this to access raw mice (with an index other than 0) is deprecated,
* mice, use the InputDeviceManager interface. * see the InputDeviceManager interface instead.
*/ */
MouseData GraphicsWindow:: MouseData GraphicsWindow::
get_pointer(int device) const { get_pointer(int device) const {