4 #include <Dispatch/iohandler.h> 5 #include <Dispatch/dispatcher.h> 6 #include <InterViews/session.h> 15 extern bool nrn_is_gui_thread();
16 extern void nrn_gui_exec(
void (*)(
void*),
void*);
43 int run(
const char *,
bool show_err_mes =
true);
47 static bool valid_expr(
Symbol*);
48 static bool valid_stmt(
const char*,
Object* ob =
NULL);
51 void notifyHocValue();
58 void notify_when_freed(
void*
p,
Observer*);
59 void notify_when_freed(
double* p,
Observer*);
60 void notify_pointer_disconnect(
Observer*);
65 static bool setAcceptInput(
bool);
67 static void helpmode(
bool);
68 static void helpmode(
Window*);
69 static void help(
const char*);
72 static void cleanup();
78 static Cursor* help_cursor();
virtual int inputReady(int fd)
static Cursor * help_cursor_
virtual int exceptionRaised(int fd)
static Session * session_
static ostream * save_stream
void notify_freed(void *p)
static int getStdinSeen()
static Observable * notify_change_
static HandleStdin * handleStdin_
int nrn_err_dialog_active_
static void setStdinSeen(bool i)
static const char ** pname(void *v)