All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
pub_dialog.h
Go to the documentation of this file.
22 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
59 /** returns the next word in the handler's command buffer; if the buffer is empty, displays the given prompt or the
60 * current dialog's path and asks the user for further input; the user must not free or modify the returned string
71 /** adds a single line of input to the dialog handler which is treated as if the user entered the command line */
78 /** adds a command to the command history of the dialog handler; if a dialog is given, the command is preceeded
79 * by the dialog's command path; if no command is given, only the path to the dialog is added to the command history
86 SCIP_Bool escapecommand /**< should special characters in command be prefixed by an escape char? */
|