home *** CD-ROM | disk | FTP | other *** search
/ PC World Komputer 1999 March / PCWK3A99.iso / Linux / DDD331 / DDD-3_1_.000 / DDD-3_1_ / ddd-3.1.1 / ddd / buttons.h < prev    next >
Encoding:
C/C++ Source or Header  |  1998-09-18  |  2.6 KB  |  80 lines
  1. // $Id: buttons.h,v 1.17 1998/09/18 13:27:41 zeller Exp $ -*- C++ -*-
  2. // DDD buttons
  3.  
  4. // Copyright (C) 1996 Technische Universitaet Braunschweig, Germany.
  5. // Written by Andreas Zeller <zeller@ips.cs.tu-bs.de>.
  6. // 
  7. // This file is part of DDD.
  8. // 
  9. // DDD is free software; you can redistribute it and/or
  10. // modify it under the terms of the GNU General Public
  11. // License as published by the Free Software Foundation; either
  12. // version 2 of the License, or (at your option) any later version.
  13. // 
  14. // DDD 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.
  17. // See the GNU General Public License for more details.
  18. // 
  19. // You should have received a copy of the GNU General Public
  20. // License along with DDD -- see the file COPYING.
  21. // If not, write to the Free Software Foundation, Inc.,
  22. // 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  23. // 
  24. // DDD is the data display debugger.
  25. // For details, see the DDD World-Wide-Web page, 
  26. // `http://www.cs.tu-bs.de/softech/ddd/',
  27. // or send a mail to the DDD developers <ddd@ips.cs.tu-bs.de>.
  28.  
  29. #ifndef _DDD_buttons_h
  30. #define _DDD_buttons_h
  31.  
  32. #ifdef __GNUG__
  33. #pragma interface
  34. #endif
  35.  
  36. #include "strclass.h"
  37. #include <X11/Intrinsic.h>
  38.  
  39. // Create a button row named NAME with buttons as specified in LIST
  40. Widget make_buttons(Widget parent, const string& name, String list);
  41.  
  42. // Assign BUTTONS the buttons specified in LIST.  If MANAGE is set,
  43. // (un)manage BUTTONS depending on the number of buttons.
  44. void set_buttons(Widget buttons, String list, bool manage = true);
  45.  
  46. // Make BUTTON insensitive if it is not supported
  47. void verify_button(Widget button);
  48.  
  49. // Refresh button sensitivity
  50. void refresh_buttons();
  51.  
  52. // Maximum length of value in value tip and in status line
  53. extern int max_value_tip_length;
  54. extern int max_value_doc_length;
  55.  
  56. // Clear value cache after some change in the program state
  57. extern void clear_value_cache();
  58.  
  59. // Invoke button and shortcut editors
  60. void dddEditButtonsCB  (Widget, XtPointer, XtPointer);
  61. void dddEditShortcutsCB(Widget, XtPointer, XtPointer);
  62.  
  63. // Refresh button editor after external change
  64. void refresh_button_editor();
  65.  
  66. // Get a value from GDB
  67. string gdbValue(const string& expr);
  68.  
  69. // Return changed EXPR that can be used as assignment value
  70. string assignment_value(const string& expr);
  71.  
  72. // Create a flat PushButton named NAME
  73. Widget create_flat_button(Widget parent, const string& name);
  74.  
  75. // Remove command from help cache.
  76. void clear_help_cache(const string& command);
  77.  
  78. #endif // _DDD_buttons_h
  79. // DON'T ADD ANYTHING BEHIND THIS #endif
  80.