* Draw the exterior of the currently selected widget. */
| 983 | * Draw the exterior of the currently selected widget. |
| 984 | */ |
| 985 | void Widget_PaintCurrentWidget(void) |
| 986 | { |
| 987 | GUI_DrawFilledRectangle(g_curWidgetXBase << 3, g_curWidgetYBase, ((g_curWidgetXBase + g_curWidgetWidth) << 3) - 1, g_curWidgetYBase + g_curWidgetHeight - 1, g_curWidgetFGColourNormal); |
| 988 | } |
no test coverage detected