39 |
void release(px::Surface *s) { delete s; } |
void release(px::Surface *s) { delete s; } |
40 |
}; |
}; |
41 |
|
|
42 |
typedef cache::Cache<px::Surface*, ImageAlloc> ImageCache; |
typedef Cache<px::Surface*, ImageAlloc> ImageCache; |
43 |
|
|
44 |
|
|
45 |
class LevelWidget : public Widget { |
class LevelWidget : public Widget { |
198 |
// set_color(gc, 0,0,0); |
// set_color(gc, 0,0,0); |
199 |
// box(gc, r); |
// box(gc, r); |
200 |
|
|
201 |
const int imgw = 128; //238; |
const int imgw = 120; //238; |
202 |
const int imgh = 83; //104; |
const int imgh = 78; |
203 |
const int hgap = 20, vgap=30; |
const int hgap = 20, vgap=30; |
204 |
|
|
205 |
const int x0 = get_x()+(get_w() - width*(imgw+hgap)+hgap)/2; |
const int x0 = get_x()+(get_w() - width*(imgw+hgap)+hgap)/2; |