1%% Licensed under the Apache License, Version 2.0 (the "License");
2%% you may not use this file except in compliance with the License.
3%% You may obtain a copy of the License at
4%%
5%%     http://www.apache.org/licenses/LICENSE-2.0
6%%
7%% Unless required by applicable law or agreed to in writing, software
8%% distributed under the License is distributed on an "AS IS" BASIS,
9%% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
10%% See the License for the specific language governing permissions and
11%% limitations under the License.
12
13-include_lib("wx/include/wx.hrl").
14
15
16-define(TEXTSIZE, 9).
17
18-define(Border, {border, 2}).
19-define(BorderOpt,[{flag,?wxALL}, ?Border]).
20
21-define(menuID_FILE_QUIT, 102).
22-define(menuID_FILE_SAVE_WARNINGS, 100).
23-define(menuID_FILE_SAVE_LOG, 101).
24
25-define(menuID_WARN_MATCH_FAILURES, 200).
26-define(menuID_WARN_FAIL_FUN_CALLS, 201).
27-define(menuID_WARN_BAD_FUN, 202).
28-define(menuID_WARN_OPAQUE, 203).
29-define(menuID_WARN_LIST_CONSTR, 204).
30-define(menuID_WARN_UNUSED_FUN, 205).
31-define(menuID_WARN_ERROR_HANDLING_FUN, 206).
32-define(menuID_WARN_NO_RETURN_FUN, 207).
33-define(menuID_WARN_UNEXPORTED_FUN, 208).
34-define(menuID_WARN_RACE_CONDITIONS, 209).
35-define(menuID_WARN_WRONG_CONTRACTS, 210).
36-define(menuID_WARN_CONTRACT_SYNTAX, 211).
37
38-define(menuID_PLT_INIT_EMPTY, 300).
39-define(menuID_PLT_SHOW_CONTENTS, 301).
40-define(menuID_PLT_SEARCH_CONTENTS, 302).
41
42-define(menuID_OPTIONS_MACRO, 400).
43-define(menuID_OPTIONS_INCLUDE_DIR, 401).
44
45-define(menuID_HELP_MANUAL, 500).
46-define(menuID_HELP_WARNING_OPTIONS, 501).
47-define(menuID_HELP_ABOUT, 499).
48
49-define(LABEL1,502).
50-define(LABEL2,503).
51-define(LABEL3,504).
52-define(LABEL4,505).
53-define(LABEL5,505).
54-define(LABEL6,506).
55-define(LABEL7,507).
56-define(LABEL8,508).
57-define(LABEL9,509).
58
59-define(ChosenBox,510).
60-define(LogBox,511).
61-define(FilePicker,512).
62-define(DirPicker,513).
63-define(WarningsBox,521).
64
65-define(Del_Button,514).
66-define(DelAll_Button,515).
67-define(ClearLog_Button,516).
68-define(Add_Button,517).
69-define(AddDir_Button,532).
70-define(AddRec_Button,518).
71-define(ClearWarn_Button,519).
72-define(Run_Button,520).
73-define(Stop_Button,522).
74-define(ExplWarn_Button,523).
75-define(RADIOBOX, 524).
76
77-define(Dialog, 525).
78-define(Dialog_Ok, 526).
79-define(Dialog_Cancel, 527).
80-define(Dialog_Mes, 528).
81
82-define(MESSAGE, 529).
83-define(Message_Info, 530).
84-define(Message_Ok, 531).
85
86
87-define(Message, 534).
88-define(SaveWarn, 533).
89-define(SearchPltDialog, 535).
90-define(ModLabel, 536).
91-define(FunLabel, 537).
92-define(ArLabel, 538).
93-define(ModText, 539).
94-define(FunText, 540).
95-define(ArText, 541).
96-define(SearchButton, 542).
97-define(Search_Cancel, 543).
98
99-define(IncludeDir, 544).
100-define(InclLabel, 545).
101-define(InclPicker, 546).
102-define(InclBox, 547).
103-define(InclAdd, 548).
104-define(InclDel, 549).
105-define(InclDelAll, 550).
106-define(InclOk, 551).
107-define(InclCancel, 552).
108
109-define(MacroDir, 553).
110-define(MacroLabel, 554).
111-define(MacroText, 555).
112-define(TermLabel, 556).
113-define(TermText, 557).
114-define(MacroBox, 558).
115-define(MacroAdd, 559).
116-define(MacroDel, 560).
117-define(MacroDelAll, 561).
118-define(MacroOk, 562).
119-define(MacroCancel, 563).
120
121-define(ExplWin, 564).
122-define(ExplText, 565).
123-define(ExplButton, 566).
124-define(ExplOk, 567).
125