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