Change tui_line_is_displayed to be a method

[deliverable/binutils-gdb.git] / gdb / tui / tui-source.h

diff --git a/gdb/tui/tui-source.h b/gdb/tui/tui-source.h
index dc4470e9e5a86940af311c5e10dcf50bfa5c90d8..4233879094721bb4370a941fa8a6235cb93fc34d 100644 (file)
--- a/gdb/tui/tui-source.h
+++ b/gdb/tui/tui-source.h
@@ -59,6 +59,10 @@ private:
 
   void style_changed ();
 
+  /* Answer whether a particular line number or address is displayed
+     in the current source window.  */
+  bool line_is_displayed (int line) const;
+
   /* A token used to register and unregister an observer.  */
   gdb::observers::token m_observable;
 };