2020-05-16 22:30:30 +00:00
|
|
|
///////////////////////////////////////////////////////////////////////////
|
2022-09-03 18:29:02 +00:00
|
|
|
// C++ code generated with wxFormBuilder (version 3.10.1-0-g8feb16b)
|
2020-05-16 22:30:30 +00:00
|
|
|
// http://www.wxformbuilder.org/
|
|
|
|
//
|
|
|
|
// PLEASE DO *NOT* EDIT THIS FILE!
|
|
|
|
///////////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
#pragma once
|
|
|
|
|
|
|
|
#include <wx/artprov.h>
|
|
|
|
#include <wx/xrc/xmlres.h>
|
|
|
|
#include <wx/intl.h>
|
2023-11-26 18:23:34 +00:00
|
|
|
class STD_BITMAP_BUTTON;
|
2020-07-30 11:24:29 +00:00
|
|
|
class WX_HTML_REPORT_BOX;
|
|
|
|
|
2020-05-16 22:30:30 +00:00
|
|
|
#include <wx/string.h>
|
|
|
|
#include <wx/stattext.h>
|
|
|
|
#include <wx/gdicmn.h>
|
|
|
|
#include <wx/font.h>
|
|
|
|
#include <wx/colour.h>
|
|
|
|
#include <wx/settings.h>
|
2020-05-25 20:44:49 +00:00
|
|
|
#include <wx/hyperlink.h>
|
2020-05-16 22:30:30 +00:00
|
|
|
#include <wx/sizer.h>
|
2020-05-25 20:44:49 +00:00
|
|
|
#include <wx/stc/stc.h>
|
2020-07-30 11:24:29 +00:00
|
|
|
#include <wx/bmpbuttn.h>
|
|
|
|
#include <wx/bitmap.h>
|
|
|
|
#include <wx/image.h>
|
|
|
|
#include <wx/icon.h>
|
|
|
|
#include <wx/button.h>
|
|
|
|
#include <wx/html/htmlwin.h>
|
2020-05-16 22:30:30 +00:00
|
|
|
#include <wx/panel.h>
|
|
|
|
|
|
|
|
///////////////////////////////////////////////////////////////////////////
|
|
|
|
|
2020-05-24 14:54:26 +00:00
|
|
|
#define ID_RULES_EDITOR 2240
|
|
|
|
|
2020-05-16 22:30:30 +00:00
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
/// Class PANEL_SETUP_RULES_BASE
|
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
class PANEL_SETUP_RULES_BASE : public wxPanel
|
|
|
|
{
|
|
|
|
private:
|
|
|
|
|
|
|
|
protected:
|
|
|
|
wxStaticText* m_title;
|
2020-05-25 20:44:49 +00:00
|
|
|
wxHyperlinkCtrl* m_syntaxHelp;
|
2023-01-11 01:00:47 +00:00
|
|
|
wxBoxSizer* m_topMargin;
|
2020-05-16 22:30:30 +00:00
|
|
|
wxStyledTextCtrl* m_textEditor;
|
2023-11-26 18:23:34 +00:00
|
|
|
STD_BITMAP_BUTTON* m_compileButton;
|
2020-07-30 11:24:29 +00:00
|
|
|
WX_HTML_REPORT_BOX* m_errorsReport;
|
2020-05-16 22:30:30 +00:00
|
|
|
|
2022-09-03 18:29:02 +00:00
|
|
|
// Virtual event handlers, override them in your derived class
|
2020-05-25 20:44:49 +00:00
|
|
|
virtual void OnSyntaxHelp( wxHyperlinkEvent& event ) { event.Skip(); }
|
2022-01-23 23:04:19 +00:00
|
|
|
virtual void OnContextMenu( wxMouseEvent& event ) { event.Skip(); }
|
2020-07-30 11:24:29 +00:00
|
|
|
virtual void OnCompile( wxCommandEvent& event ) { event.Skip(); }
|
|
|
|
virtual void OnErrorLinkClicked( wxHtmlLinkEvent& event ) { event.Skip(); }
|
2020-05-25 20:44:49 +00:00
|
|
|
|
|
|
|
|
2020-05-16 22:30:30 +00:00
|
|
|
public:
|
|
|
|
|
|
|
|
PANEL_SETUP_RULES_BASE( wxWindow* parent, wxWindowID id = wxID_ANY, const wxPoint& pos = wxDefaultPosition, const wxSize& size = wxSize( -1,-1 ), long style = wxTAB_TRAVERSAL, const wxString& name = wxEmptyString );
|
2022-09-03 18:29:02 +00:00
|
|
|
|
2020-05-16 22:30:30 +00:00
|
|
|
~PANEL_SETUP_RULES_BASE();
|
|
|
|
|
|
|
|
};
|
|
|
|
|