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 / options.h < prev    next >
Encoding:
C/C++ Source or Header  |  1998-11-28  |  7.3 KB  |  148 lines
  1. // $Id: options.h,v 1.55 1998/11/28 16:42:00 zeller Exp $ -*- C++ -*-
  2. // Save and edit DDD options
  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_options_h
  30. #define _DDD_options_h
  31.  
  32. #ifdef __GNUG__
  33. #pragma interface
  34. #endif
  35.  
  36. #include "strclass.h"
  37. #include "bool.h"
  38. #include <X11/Intrinsic.h>
  39.  
  40. // Options
  41.  
  42. // Flags for saving options
  43. #define CREATE_OPTIONS   (1 << 0) // Create simple options file if non-existent
  44. #define SAVE_SESSION     (1 << 1) // Save additional session information
  45. #define SAVE_GEOMETRY    (1 << 2) // Save window geometry
  46. #define SAVE_CORE        (1 << 3) // Always include core file
  47. #define MAY_KILL         (1 << 4) // May we kill to get a core dump?
  48. #define MAY_PTRACE       (1 << 5) // May we use ptrace() to get a core dump?
  49. #define MAY_GCORE        (1 << 6) // May we use gcore to get a core dump?
  50. #define DONT_SAVE        (1 << 7) // Only simulate; don't actually save
  51. #define DONT_RELOAD_CORE (1 << 8) // Do not load generated core file
  52. #define DONT_COPY_CORE   (1 << 9) // Do not copy existing core file
  53. #define MAY_INTERACT     (1 << 10) // Allow user interaction
  54.  
  55. #define SAVE_DEFAULT MAY_INTERACT
  56.  
  57. // True if saving options means to kill the program
  58. bool saving_options_kills_program(unsigned long flags);
  59.  
  60. // True if data cannot be saved
  61. bool saving_options_excludes_data(unsigned long flags);
  62.  
  63. // Save options in current session state file, using FLAGS
  64. bool save_options(unsigned long flags);
  65.  
  66. // Get restarting commands in RESTART, using FLAGS
  67. bool get_restart_commands(string& restart, unsigned long flags);
  68.  
  69. // Check options file
  70. void check_options_file();
  71.  
  72. // Lots and lots of callbacks
  73. extern void sourceToggleFindWordsOnlyCB     (Widget, XtPointer, XtPointer);
  74. extern void sourceToggleFindCaseSensitiveCB (Widget, XtPointer, XtPointer);
  75. extern void sourceToggleCacheSourceFilesCB  (Widget, XtPointer, XtPointer);
  76. extern void sourceToggleCacheMachineCodeCB  (Widget, XtPointer, XtPointer);
  77. extern void sourceToggleAllRegistersCB      (Widget, XtPointer, XtPointer);
  78. extern void sourceToggleDisplayLineNumbersCB(Widget, XtPointer, XtPointer);
  79. extern void sourceSetDisplayGlyphsCB        (Widget, XtPointer, XtPointer);
  80. extern void sourceSetUseSourcePathCB        (Widget, XtPointer, XtPointer);
  81. extern void sourceSetTabWidthCB             (Widget, XtPointer, XtPointer);
  82. extern void sourceSetSourceIndentCB         (Widget, XtPointer, XtPointer);
  83. extern void sourceSetCodeIndentCB         (Widget, XtPointer, XtPointer);
  84.  
  85. extern void graphToggleDetectAliasesCB      (Widget, XtPointer, XtPointer);
  86. extern void graphToggleAlign2dArraysCB      (Widget, XtPointer, XtPointer);
  87. extern void graphToggleShowGridCB           (Widget, XtPointer, XtPointer);
  88. extern void graphToggleShowHintsCB          (Widget, XtPointer, XtPointer);
  89. extern void graphToggleSnapToGridCB         (Widget, XtPointer, XtPointer);
  90. extern void graphToggleCompactLayoutCB      (Widget, XtPointer, XtPointer);
  91. extern void graphToggleAutoLayoutCB         (Widget, XtPointer, XtPointer);
  92. extern void graphToggleAutoCloseCB          (Widget, XtPointer, XtPointer);
  93. extern void graphToggleShowAnnotationsCB    (Widget, XtPointer, XtPointer);
  94. extern void graphToggleShowDependentTitlesCB(Widget, XtPointer, XtPointer);
  95. extern void graphToggleClusterDisplaysCB    (Widget, XtPointer, XtPointer);
  96. extern void graphSetGridSizeCB              (Widget, XtPointer, XtPointer);
  97.  
  98. extern void dddToggleGroupIconifyCB         (Widget, XtPointer, XtPointer);
  99. extern void dddToggleUniconifyWhenReadyCB   (Widget, XtPointer, XtPointer);
  100. extern void dddToggleSeparateExecWindowCB   (Widget, XtPointer, XtPointer);
  101. extern void dddToggleCheckGrabsCB           (Widget, XtPointer, XtPointer);
  102. extern void dddToggleSaveHistoryOnExitCB    (Widget, XtPointer, XtPointer);
  103. extern void dddToggleSuppressWarningsCB     (Widget, XtPointer, XtPointer);
  104. extern void dddToggleWarnIfLockedCB         (Widget, XtPointer, XtPointer);
  105.  
  106. extern void dddToggleButtonTipsCB           (Widget, XtPointer, XtPointer);
  107. extern void dddToggleValueTipsCB            (Widget, XtPointer, XtPointer);
  108. extern void dddToggleButtonDocsCB           (Widget, XtPointer, XtPointer);
  109. extern void dddToggleValueDocsCB            (Widget, XtPointer, XtPointer);
  110.  
  111. extern void dddToggleButtonCaptionsCB       (Widget, XtPointer, XtPointer);
  112. extern void dddToggleButtonImagesCB         (Widget, XtPointer, XtPointer);
  113. extern void dddToggleFlatButtonsCB          (Widget, XtPointer, XtPointer);
  114. extern void dddToggleColorButtonsCB         (Widget, XtPointer, XtPointer);
  115. extern void dddToggleToolbarsAtBottomCB     (Widget, XtPointer, XtPointer);
  116.  
  117. extern void dddSetCrashCB                   (Widget, XtPointer, XtPointer);
  118. extern void dddClearMaintenanceCB           (Widget, XtPointer, XtPointer);
  119.  
  120. extern void dddSetGlobalTabCompletionCB     (Widget, XtPointer, XtPointer);
  121. extern void dddSetSeparateWindowsCB         (Widget, XtPointer, XtPointer);
  122. extern void dddSetStatusAtBottomCB          (Widget, XtPointer, XtPointer);
  123. extern void dddSetToolBarCB                 (Widget, XtPointer, XtPointer);
  124. extern void dddSetKeyboardFocusPolicyCB     (Widget, XtPointer, XtPointer);
  125. extern void dddSetPannerCB                  (Widget, XtPointer, XtPointer);
  126. extern void dddSetDebuggerCB                (Widget, XtPointer, XtPointer);
  127. extern void dddToggleAutoDebuggerCB         (Widget, XtPointer, XtPointer);
  128. extern void dddSetCutCopyPasteBindingsCB    (Widget, XtPointer, XtPointer);
  129. extern void dddSetSelectAllBindingsCB       (Widget, XtPointer, XtPointer);
  130.  
  131. extern void dddSetUndoBufferSizeCB          (Widget, XtPointer, XtPointer);
  132. extern void dddClearUndoBufferCB            (Widget, XtPointer, XtPointer);
  133.  
  134. extern void dddSetEditCommandCB             (Widget, XtPointer, XtPointer);
  135. extern void dddSetPlotCommandCB             (Widget, XtPointer, XtPointer);
  136. extern void dddSetGetCoreCommandCB          (Widget, XtPointer, XtPointer);
  137. extern void dddSetPSCommandCB               (Widget, XtPointer, XtPointer);
  138. extern void dddSetTermCommandCB             (Widget, XtPointer, XtPointer);
  139. extern void dddSetUncompressCommandCB       (Widget, XtPointer, XtPointer);
  140. extern void dddSetWWWCommandCB              (Widget, XtPointer, XtPointer);
  141. extern void dddSetBuiltinPlotWindowCB       (Widget, XtPointer, XtPointer);
  142.  
  143. extern void DDDSaveOptionsCB                (Widget, XtPointer, XtPointer);
  144. extern void DDDSaveOptionsAsCB              (Widget, XtPointer, XtPointer);
  145.  
  146. #endif // _DDD_options_h
  147. // DON'T ADD ANYTHING BEHIND THIS #endif
  148.