equal
deleted
inserted
replaced
578 w->widget[0].bottom = w->widget[0].top + num - 1; |
578 w->widget[0].bottom = w->widget[0].top + num - 1; |
579 SetWindowDirty(w); |
579 SetWindowDirty(w); |
580 } |
580 } |
581 } |
581 } |
582 |
582 |
583 extern void DrawPlayerIcon(int p, int x, int y); |
583 extern void DrawPlayerIcon(PlayerID pid, int x, int y); |
584 |
584 |
585 static void PlayerMenuWndProc(Window *w, WindowEvent *e) |
585 static void PlayerMenuWndProc(Window *w, WindowEvent *e) |
586 { |
586 { |
587 switch (e->event) { |
587 switch (e->event) { |
588 case WE_PAINT: { |
588 case WE_PAINT: { |