| changeset 5198 | 2547d72f2db4 |
| parent 5125 | 60b21cf18b50 |
| child 5530 | 15f701e93291 |
| child 5623 | ef2a8a524a95 |
| 5197:a441951424e7 | 5198:2547d72f2db4 |
|---|---|
240 } |
240 } |
241 |
241 |
242 static void NewShipWndProc(Window *w, WindowEvent *e) |
242 static void NewShipWndProc(Window *w, WindowEvent *e) |
243 { |
243 { |
244 switch (e->event) { |
244 switch (e->event) { |
245 case WE_INVALIDATE_DATA: |
|
246 SetWindowDirty(w); |
|
247 break; |
|
248 |
|
249 case WE_PAINT: { |
245 case WE_PAINT: { |
250 EngineID selected_id; |
246 EngineID selected_id; |
251 EngineID eid; |
247 EngineID eid; |
252 int count; |
248 int count; |
253 int pos; |
249 int pos; |