diff options
Diffstat (limited to 'gdb/tui/tui-data.h')
| -rw-r--r-- | gdb/tui/tui-data.h | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gdb/tui/tui-data.h b/gdb/tui/tui-data.h index a1e44f7..5bb5ef9 100644 --- a/gdb/tui/tui-data.h +++ b/gdb/tui/tui-data.h @@ -88,6 +88,18 @@ public: return true; } + /* Return the width of the box. */ + int box_width () const + { + return can_box () ? 1 : 0; + } + + /* Return the size of the box. */ + int box_size () const + { + return 2 * box_width (); + } + /* Resize this window. The parameters are used to set the window's size and position. */ virtual void resize (int height, int width, |