wmove (handle.get (), 0, 0);
}
-/* Function to print the frame information for the TUI. The windows are
- refreshed only if frame information has changed since the last refresh.
+/* Function to print the frame information for the TUI. The windows
+ are refreshed only if frame information has changed since the last
+ refresh. */
- Return true if frame information has changed (and windows
- subsequently refreshed), false otherwise. */
-
-bool
+void
tui_show_frame_info (frame_info_ptr fi)
{
bool status_changed_p;
not changed. If frame information has not changed, then the windows'
contents will not change. So don't bother refreshing the windows. */
if (!status_changed_p)
- return false;
+ return;
for (struct tui_source_window_base *win_info : tui_source_windows ())
{
status_changed_p = tui_location.set_location (NULL, sal, "");
if (!status_changed_p)
- return false;
+ return;
for (struct tui_source_window_base *win_info : tui_source_windows ())
win_info->erase_source_content ();
}
-
- return true;
}
void
};
extern void tui_show_status_content (void);
-extern bool tui_show_frame_info (frame_info_ptr);
+extern void tui_show_frame_info (frame_info_ptr);
#endif /* TUI_TUI_STATUS_H */