Searched refs:window_width (Results 1 – 1 of 1) sorted by relevance
6972 const int window_width = window.GetWidth(); in WindowDelegateDraw() local6981 if (x < window_width - 1) { in WindowDelegateDraw()6982 window.Printf("%*s", window_width - x - 1, ""); in WindowDelegateDraw()7077 int desc_x = window_width - stop_description_len - 16; in WindowDelegateDraw()7080 window.MoveCursor(window_width - stop_description_len - 16, in WindowDelegateDraw()7089 window.Printf("%*s", window_width - window.GetCursorX() - 1, ""); in WindowDelegateDraw()7230 int desc_x = window_width - stop_description_len - 16; in WindowDelegateDraw()7233 window.MoveCursor(window_width - stop_description_len - 15, in WindowDelegateDraw()7241 window.Printf("%*s", window_width - window.GetCursorX() - 1, ""); in WindowDelegateDraw()