2012-01-08 16:42:23 +01:00
|
|
|
Mouse = {}
|
|
|
|
|
2012-02-06 05:39:52 +01:00
|
|
|
function Mouse.setTargetCursor()
|
2012-03-18 14:34:39 +01:00
|
|
|
g_window.setMouseCursor('/core_styles/cursors/targetcursor.png', {x=9,y=9})
|
2012-02-06 05:39:52 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
function Mouse.restoreCursor()
|
|
|
|
g_window.restoreMouseCursor()
|
|
|
|
end
|
2012-02-20 03:27:08 +01:00
|
|
|
|