equal
deleted
inserted
replaced
536 w->widget[0].bottom = w->widget[0].top + num - 1; |
536 w->widget[0].bottom = w->widget[0].top + num - 1; |
537 SetWindowDirty(w); |
537 SetWindowDirty(w); |
538 } |
538 } |
539 } |
539 } |
540 |
540 |
541 extern void DrawPlayerIcon(PlayerID pid, int x, int y); |
|
542 |
|
543 static void PlayerMenuWndProc(Window *w, WindowEvent *e) |
541 static void PlayerMenuWndProc(Window *w, WindowEvent *e) |
544 { |
542 { |
545 switch (e->event) { |
543 switch (e->event) { |
546 case WE_PAINT: { |
544 case WE_PAINT: { |
547 int x,y; |
545 int x,y; |