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
|
|
|
|
|
2012-03-23 02:52:31 +01:00
|
|
|
function Mouse.setHorizontalCursor()
|
|
|
|
g_window.setMouseCursor('/core_styles/cursors/horizontal.png', {x=9,y=4})
|
|
|
|
end
|
|
|
|
|
|
|
|
function Mouse.setVerticalCursor()
|
|
|
|
g_window.setMouseCursor('/core_styles/cursors/vertical.png', {x=4,y=9})
|
|
|
|
end
|
|
|
|
|
2012-02-06 05:39:52 +01:00
|
|
|
function Mouse.restoreCursor()
|
|
|
|
g_window.restoreMouseCursor()
|
|
|
|
end
|