Home | History | Annotate | Line # | Download | only in tui
tui-wingeneral.h revision 1.1.1.8 
      1 /* General window behavior.
      2 
      3    Copyright (C) 1998-2024 Free Software Foundation, Inc.
      4 
      5    Contributed by Hewlett-Packard Company.
      6 
      7    This file is part of GDB.
      8 
      9    This program is free software; you can redistribute it and/or modify
     10    it under the terms of the GNU General Public License as published by
     11    the Free Software Foundation; either version 3 of the License, or
     12    (at your option) any later version.
     13 
     14    This program is distributed in the hope that it will be useful,
     15    but WITHOUT ANY WARRANTY; without even the implied warranty of
     16    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
     17    GNU General Public License for more details.
     18 
     19    You should have received a copy of the GNU General Public License
     20    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
     21 
     22 #ifndef TUI_TUI_WINGENERAL_H
     23 #define TUI_TUI_WINGENERAL_H
     24 
     25 #include "gdb_curses.h"
     26 
     27 struct tui_win_info;
     28 
     29 extern void tui_unhighlight_win (struct tui_win_info *);
     30 extern void tui_highlight_win (struct tui_win_info *);
     31 
     32 /* An RAII class that suppresses output on construction (calling
     33    wnoutrefresh on the existing windows), and then flushes the output
     34    (via doupdate) when destroyed.  */
     35 
     36 class tui_suppress_output
     37 {
     38 public:
     39 
     40   tui_suppress_output ();
     41   ~tui_suppress_output ();
     42 
     43   DISABLE_COPY_AND_ASSIGN (tui_suppress_output);
     44 
     45 private:
     46 
     47   /* Save the state of the suppression global.  */
     48   bool m_saved_suppress;
     49 };
     50 
     51 /* Call wrefresh on the given window.  However, if output is being
     52    suppressed via tui_suppress_output, do not call wrefresh.  */
     53 extern void tui_wrefresh (WINDOW *win);
     54 
     55 #endif /* TUI_TUI_WINGENERAL_H */
     56