blob: 8fc36879a44e82ee76259d9fae74d179aca4ed39 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
// Tool used to delete lines
var EraserTool = MapTool.extend(function(base){
var exports = {}
exports.down = function(e, cursor){
last_point.a = cursor.x.a
last_point.b = cursor.y.a
var segment = shapes.findClosestSegment(last_point)
if (segment) {
shapes.removeSegment(segment)
}
}
exports.move = function(e, cursor){
last_point.a = cursor.x.a
last_point.b = cursor.y.a
var segment = shapes.findClosestSegment(last_point)
if (segment) {
document.body.style.cursor = "pointer"
last_point.a = segment.x
last_point.b = segment.y
cursor.x.a = cursor.x.b = last_point.a
cursor.y.a = cursor.y.b = last_point.b
}
else {
document.body.style.cursor = "crosshair"
}
}
return exports
})
|
