133 |
} |
} |
134 |
|
|
135 |
//---------------------------------------- |
//---------------------------------------- |
136 |
|
// Rubber bands |
137 |
|
//---------------------------------------- |
138 |
|
namespace display |
139 |
|
{ |
140 |
|
class RubberID { |
141 |
|
public: |
142 |
|
RubberID (unsigned); |
143 |
|
operator unsigned() { return id; } |
144 |
|
|
145 |
|
void update_first (const px::V2 &p1); |
146 |
|
void update_second (const px::V2 &p2); |
147 |
|
void kill(); |
148 |
|
|
149 |
|
unsigned id; |
150 |
|
}; |
151 |
|
|
152 |
|
RubberID AddRubber (const px::V2 &p1, const px::V2 &p2); |
153 |
|
} |
154 |
|
|
155 |
|
//---------------------------------------- |
156 |
// Status bar management |
// Status bar management |
157 |
//---------------------------------------- |
//---------------------------------------- |
158 |
namespace display |
namespace display |