equal
deleted
inserted
replaced
561 const Widget *widget); |
561 const Widget *widget); |
562 |
562 |
563 void DrawWindowViewport(Window *w); |
563 void DrawWindowViewport(Window *w); |
564 |
564 |
565 void InitWindowSystem(void); |
565 void InitWindowSystem(void); |
|
566 void UnInitWindowSystem(void); |
|
567 void ResetWindowSystem(void); |
566 int GetMenuItemIndex(Window *w, int x, int y); |
568 int GetMenuItemIndex(Window *w, int x, int y); |
567 void MouseLoop(void); |
569 void MouseLoop(void); |
568 void UpdateWindows(void); |
570 void UpdateWindows(void); |
569 void InvalidateWidget(Window *w, byte widget_index); |
571 void InvalidateWidget(Window *w, byte widget_index); |
570 |
572 |