1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
|
/*
* wxGlobals.h wx logo global references module
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
*
*/
#define SCREEN_WIDTH 1
#define SCREEN_HEIGHT 2
#define BACK_GROUND 3
#define IN_SPLITSCREEN 4
#define IN_GRAPHICS_MODE 5
#define X_COORD 6
#define Y_COORD 7
#define X_MAX 8
#define Y_MAX 9
#define EDIT_STATE 10
// used for the text editor flag
#define NO_INFO 0
#define DO_LOAD 1
#define NO_LOAD 2
//terminal size in characters
#define TERM_ROWS 25
#define TERM_COLS 82
// fonts
extern "C" char wx_font_face[];
extern "C" int wx_font_size;
extern "C" int label_height;
#define FONT_CFG(fm,sz) sz, wxFONTFAMILY_MODERN, wxFONTSTYLE_NORMAL, wxFONTWEIGHT_NORMAL, false, wxString(fm,wxConvUTF8)
/* wxMain */
#define NAME_BUFFER_SIZE 300
#define MAXOUTBUFF 4096
#define MAXINBUFF 4096
#define BUFF_LEN 4096 //should be a power of two.
#define buff_empty (buff_push_index == buff_pop_index)
#define buff_push(c) buff[buff_push_index++] = c; \
buff_push_index = buff_push_index % BUFF_LEN; \
if(buff_push_index == buff_pop_index) { \
fprintf(stderr, "buff push warning: pushindex = popindex\n. discarding last push"); \
buff_push_index = (buff_push_index - 1) % BUFF_LEN; \
}
#define buff_pop(c) c = buff[buff_pop_index++]; \
buff_pop_index = buff_pop_index % BUFF_LEN
extern char buff[];
extern int buff_push_index;
extern int buff_pop_index;
extern int alreadyAlerted;
extern char output_buffer[];
extern int output_index;
/* wxTerminal */
class TurtleCanvas;
class TextEditor;
extern wxCommandEvent * haveInputEvent;
extern LogoFrame *logoFrame;
extern LogoEventManager *logoEventManager;
extern wxMenuBar* menuBar;
extern wxBoxSizer *topsizer;
extern TextEditor *editWindow;
extern TurtleCanvas * turtleGraphics;
/* wxTurtleGraphics */
// the size of the turtle graphics window
extern "C" int getInfo(int);
extern "C" void setInfo(int, int);
extern wxMemoryDC *m_memDC;
/* wxTextEdit */
extern char * file; // using this is safe because the other thread is sleeping
// and it stack is also asleep
extern "C" int check_wx_stop(int force_yield);
extern "C" int internal_check();
#define wxdprintf if (wx_Debugging) printf
extern int wx_Debugging; /* in wxMain */
|
