aboutsummaryrefslogtreecommitdiff
path: root/gdb
diff options
context:
space:
mode:
Diffstat (limited to 'gdb')
-rw-r--r--gdb/tui/tui-winsource.c12
-rw-r--r--gdb/tui/tui-winsource.h9
2 files changed, 14 insertions, 7 deletions
diff --git a/gdb/tui/tui-winsource.c b/gdb/tui/tui-winsource.c
index 50efa80..b5b6079 100644
--- a/gdb/tui/tui-winsource.c
+++ b/gdb/tui/tui-winsource.c
@@ -172,8 +172,8 @@ tui_source_window_base::update_source_window_as_is
{
validate_scroll_offsets ();
update_breakpoint_info (nullptr, false);
+ update_exec_info (false);
show_source_content ();
- update_exec_info ();
}
}
@@ -636,11 +636,10 @@ tui_source_window_base::update_breakpoint_info
return need_refresh;
}
-/* Function to initialize the content of the execution info window,
- based upon the input window which is either the source or
- disassembly window. */
+/* See tui-winsource.h. */
+
void
-tui_source_window_base::update_exec_info ()
+tui_source_window_base::update_exec_info (bool refresh_p)
{
update_breakpoint_info (nullptr, true);
for (int i = 0; i < m_content.size (); i++)
@@ -668,5 +667,6 @@ tui_source_window_base::update_exec_info ()
show_line_number (i);
}
- refresh_window ();
+ if (refresh_p)
+ refresh_window ();
}
diff --git a/gdb/tui/tui-winsource.h b/gdb/tui/tui-winsource.h
index 2762aff..7370ae9 100644
--- a/gdb/tui/tui-winsource.h
+++ b/gdb/tui/tui-winsource.h
@@ -148,7 +148,14 @@ public:
virtual bool location_matches_p (struct bp_location *loc, int line_no) = 0;
- void update_exec_info ();
+ /* Fill in the left margin of the current window with execution indicator
+ information, e.g. breakpoint indicators, and line numbers. When
+ REFRESH_P is true this function will call refresh_window to ensure
+ updates are written to the screen, otherwise the refresh is skipped,
+ which will leave the on screen contents out of date. When passing
+ false for REFRESH_P you should be planning to call refresh_window
+ yourself. */
+ void update_exec_info (bool refresh_p = true);
/* Update the window to display the given location. Does nothing if
the location is already displayed. */