20 void DeleteWindow(Window *w);

    20 void DeleteWindow(Window *w);

    21 void DeletePlayerWindows(PlayerID pi);

    21 void DeletePlayerWindows(PlayerID pi);

    22 void ChangeWindowOwner(PlayerID old_player, PlayerID new_player);

    22 void ChangeWindowOwner(PlayerID old_player, PlayerID new_player);

    23 

    23 

    24 void ResizeWindow(Window *w, int x, int y);

    24 void ResizeWindow(Window *w, int x, int y);

    25 

    26 

    26 void InitWindowSystem();

    27 void InitWindowSystem();

    27 void UnInitWindowSystem();

    28 void UnInitWindowSystem();

    28 void ResetWindowSystem();

    29 void ResetWindowSystem();

    29 void InputLoop();

    31 void InputLoop();

    30 void InvalidateThisWindowData(Window *w);

    32 void InvalidateThisWindowData(Window *w);

    31 void InvalidateWindowData(WindowClass cls, WindowNumber number);

    33 void InvalidateWindowData(WindowClass cls, WindowNumber number);

    32 void RelocateAllWindows(int neww, int newh);

    34 void RelocateAllWindows(int neww, int newh);

    33 

    35