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 / windows.h < prev    next >
Encoding:
C/C++ Source or Header  |  1998-06-16  |  4.1 KB  |  116 lines
  1. // $Id: windows.h,v 1.28 1998/06/16 08:55:55 zeller Exp $ -*- C++ -*-
  2. // DDD window management
  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_windows_h
  30. #define _DDD_windows_h
  31.  
  32. #ifdef __GNUG__
  33. #pragma interface
  34. #endif
  35.  
  36. #include <X11/Intrinsic.h>
  37. #include "bool.h"
  38.  
  39. // Shells (only used if separate windows are used)
  40. extern Widget command_shell;
  41. extern Widget data_disp_shell;
  42. extern Widget source_view_shell;
  43.  
  44. // Command tool
  45. extern Widget tool_shell;
  46. extern Widget tool_buttons_w;
  47.  
  48. // Shell management
  49. extern void initial_popup_shell(Widget w);
  50. extern void popup_shell(Widget w);
  51. extern void popdown_shell(Widget w);
  52. extern void iconify_shell(Widget w);
  53. extern void uniconify_shell(Widget w);
  54. extern int running_shells();
  55.  
  56. // True if W was started iconified
  57. extern bool started_iconified(Widget w);
  58.  
  59. extern void gdbOpenCommandWindowCB  (Widget, XtPointer, XtPointer);
  60. extern void gdbOpenSourceWindowCB   (Widget, XtPointer, XtPointer);
  61. extern void gdbOpenCodeWindowCB     (Widget, XtPointer, XtPointer);
  62. extern void gdbOpenDataWindowCB     (Widget, XtPointer, XtPointer);
  63. extern void gdbOpenExecWindowCB     (Widget, XtPointer, XtPointer);
  64. extern void gdbOpenToolWindowCB     (Widget, XtPointer, XtPointer);
  65.  
  66. extern void gdbCloseCommandWindowCB (Widget, XtPointer, XtPointer);
  67. extern void gdbCloseSourceWindowCB  (Widget, XtPointer, XtPointer);
  68. extern void gdbCloseCodeWindowCB    (Widget, XtPointer, XtPointer);
  69. extern void gdbCloseDataWindowCB    (Widget, XtPointer, XtPointer);
  70. extern void gdbCloseExecWindowCB    (Widget, XtPointer, XtPointer);
  71. extern void gdbCloseToolWindowCB    (Widget, XtPointer, XtPointer);
  72.  
  73. extern void gdbToggleCommandWindowCB(Widget, XtPointer, XtPointer);
  74. extern void gdbToggleSourceWindowCB (Widget, XtPointer, XtPointer);
  75. extern void gdbToggleCodeWindowCB   (Widget, XtPointer, XtPointer);
  76. extern void gdbToggleDataWindowCB   (Widget, XtPointer, XtPointer);
  77. extern void gdbToggleExecWindowCB   (Widget, XtPointer, XtPointer);
  78. extern void gdbToggleToolWindowCB   (Widget, XtPointer, XtPointer);
  79.  
  80. extern bool have_command_window();
  81. extern bool have_source_window();
  82. extern bool have_code_window();
  83. extern bool have_data_window();
  84. extern bool have_exec_window();
  85. extern bool have_tool_window();
  86.  
  87.  
  88. // Close current window
  89. extern void DDDCloseCB              (Widget, XtPointer, XtPointer);
  90.  
  91. // Register this event handler with all shells
  92. extern void StructureNotifyEH(Widget, XtPointer, XEvent *, Boolean *);
  93.  
  94. // Save current tool shell offset in APP_DATA.
  95. extern void get_tool_offset();
  96.  
  97. // Manage child with minimum size
  98. extern void manage_paned_child(Widget w);
  99. extern void unmanage_paned_child(Widget w);
  100.  
  101. // Promote size of ScrolledWindow child CHILD to TARGET (default: parent)
  102. extern void set_scrolled_window_size(Widget child, Widget target = 0);
  103.  
  104. // Set the width of PANED to the maximum width of its children
  105. extern void get_paned_window_width(Widget paned, Dimension& max_width);
  106. extern void set_paned_window_size(Widget paned, Dimension width);
  107.  
  108. // Set main window sizes
  109. extern void set_main_window_size(Widget w);
  110.  
  111. // Save paned child sizes
  112. extern void save_preferred_paned_sizes(Widget paned);
  113.  
  114. #endif // _DDD_windows_h
  115. // DON'T ADD ANYTHING BEHIND THIS #endif
  116.