| .. |
|
Controls
|
8c7ec24149
Avoid duplicate events in Controls::WidgetSlider, resulting in double increment when pressing arrow buttons
|
7 years ago |
|
Core
|
318f299fbe
Try fixing builds, deprecate Python support
|
6 years ago |
|
Debugger
|
957f7239d6
Removed the old mouse cursor code, and replaced it with a system interface method. Drawing a cursor manually will always lag behind the system cursor, thus it is better to let the user set the system cursor.
|
6 years ago |
Michael Ragazzon
318f299fbe
Try fixing builds, deprecate Python support