| changeset 4793 | 7a219fdda461 |
| parent 4790 | 04df6a3f9b31 |
| child 4896 | 72d7a8614580 |
| 4792:c5d474cb8623 | 4793:7a219fdda461 |
|---|---|
242 } |
242 } |
243 |
243 |
244 static void NewShipWndProc(Window *w, WindowEvent *e) |
244 static void NewShipWndProc(Window *w, WindowEvent *e) |
245 { |
245 { |
246 switch (e->event) { |
246 switch (e->event) { |
247 case WE_INVALIDATE_DATA: |
|
248 SetWindowDirty(w); |
|
249 break; |
|
250 |
|
247 case WE_PAINT: { |
251 case WE_PAINT: { |
248 EngineID selected_id; |
252 EngineID selected_id; |
249 EngineID eid; |
253 EngineID eid; |
250 int count; |
254 int count; |
251 int pos; |
255 int pos; |