29 |
private Paper paper; |
private Paper paper; |
30 |
private GLRen.FixedPaperQuad pq; |
private GLRen.FixedPaperQuad pq; |
31 |
|
|
|
public boolean hasSelection() { |
|
|
return x0!=0 || y0!=0 || x1!=0 || y1!=0; |
|
|
} |
|
|
|
|
32 |
public AreaSelectingView2D(View2D child) { |
public AreaSelectingView2D(View2D child) { |
33 |
this(child, null); |
this(child, null); |
34 |
} |
} |
59 |
Object key = vs.matcher.getKey(box2screen); |
Object key = vs.matcher.getKey(box2screen); |
60 |
if (dbg) p("key b2s: "+vs.matcher.getKey(box2screen)); |
if (dbg) p("key b2s: "+vs.matcher.getKey(box2screen)); |
61 |
coords.set(key, cs); |
coords.set(key, cs); |
|
chgFast(vs, key); |
|
62 |
|
|
63 |
if (current != plane) return; |
if (current != plane) setArea(0,0,0,0); |
64 |
if (dbg) p("ok, draw the selection!"+x0+","+y0+","+x1+","+y1); |
chgFast(vs, key); |
65 |
vs.put(pq, cs); |
vs.put(pq, cs); |
66 |
} |
} |
67 |
|
|