diff options
Diffstat (limited to 'gdb/tui/tui-data.c')
| -rw-r--r-- | gdb/tui/tui-data.c | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/gdb/tui/tui-data.c b/gdb/tui/tui-data.c index 3298eb8..a351113 100644 --- a/gdb/tui/tui-data.c +++ b/gdb/tui/tui-data.c @@ -69,14 +69,6 @@ tui_win_is_auxillary (enum tui_win_type win_type) return (win_type > MAX_MAJOR_WINDOWS); } -void -tui_set_win_highlight (struct tui_win_info *win_info, - int highlight) -{ - if (win_info != NULL) - win_info->is_highlighted = highlight; -} - /****************************************** ** ACCESSORS & MUTATORS FOR PRIVATE DATA ******************************************/ |