2018-05-14 17:34:18 +00:00
|
|
|
///////////////////////////////////////////////////////////////////////////
|
2020-05-02 22:32:54 +00:00
|
|
|
// C++ code generated with wxFormBuilder (version Nov 6 2019)
|
2018-05-14 17:34:18 +00:00
|
|
|
// http://www.wxformbuilder.org/
|
|
|
|
//
|
|
|
|
// PLEASE DO *NOT* EDIT THIS FILE!
|
|
|
|
///////////////////////////////////////////////////////////////////////////
|
|
|
|
|
2019-11-12 12:47:35 +00:00
|
|
|
#pragma once
|
2018-05-14 17:34:18 +00:00
|
|
|
|
|
|
|
#include <wx/artprov.h>
|
|
|
|
#include <wx/xrc/xmlres.h>
|
|
|
|
#include <wx/intl.h>
|
|
|
|
#include "widgets/stepped_slider.h"
|
|
|
|
#include <wx/string.h>
|
|
|
|
#include <wx/stattext.h>
|
|
|
|
#include <wx/gdicmn.h>
|
|
|
|
#include <wx/font.h>
|
|
|
|
#include <wx/colour.h>
|
|
|
|
#include <wx/settings.h>
|
|
|
|
#include <wx/spinctrl.h>
|
|
|
|
#include <wx/sizer.h>
|
2018-09-04 00:00:17 +00:00
|
|
|
#include <wx/choice.h>
|
|
|
|
#include <wx/gbsizer.h>
|
2018-05-14 17:34:18 +00:00
|
|
|
#include <wx/textctrl.h>
|
2019-11-12 12:47:35 +00:00
|
|
|
#include <wx/bmpbuttn.h>
|
2018-05-14 17:34:18 +00:00
|
|
|
#include <wx/bitmap.h>
|
|
|
|
#include <wx/image.h>
|
|
|
|
#include <wx/icon.h>
|
|
|
|
#include <wx/button.h>
|
|
|
|
#include <wx/radiobut.h>
|
2018-09-04 00:00:17 +00:00
|
|
|
#include <wx/statbox.h>
|
2018-05-14 17:34:18 +00:00
|
|
|
#include <wx/slider.h>
|
|
|
|
#include <wx/checkbox.h>
|
|
|
|
#include <wx/panel.h>
|
|
|
|
|
|
|
|
///////////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
/// Class PANEL_COMMON_SETTINGS_BASE
|
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
2019-11-12 12:47:35 +00:00
|
|
|
class PANEL_COMMON_SETTINGS_BASE : public wxPanel
|
2018-05-14 17:34:18 +00:00
|
|
|
{
|
|
|
|
private:
|
2019-11-12 12:47:35 +00:00
|
|
|
|
2018-05-14 17:34:18 +00:00
|
|
|
protected:
|
|
|
|
enum
|
|
|
|
{
|
|
|
|
wxID_AUTOPAN = 1000
|
|
|
|
};
|
2019-11-12 12:47:35 +00:00
|
|
|
|
2018-05-14 17:34:18 +00:00
|
|
|
wxStaticText* m_staticTextautosave;
|
|
|
|
wxSpinCtrl* m_SaveTime;
|
2018-08-06 01:36:56 +00:00
|
|
|
wxStaticText* m_staticTextFileHistorySize;
|
|
|
|
wxSpinCtrl* m_fileHistorySize;
|
2018-09-04 00:00:17 +00:00
|
|
|
wxChoice* m_antialiasing;
|
2018-01-04 12:13:00 +00:00
|
|
|
wxChoice* m_antialiasingFallback;
|
2018-05-14 17:34:18 +00:00
|
|
|
wxTextCtrl* m_textEditorPath;
|
|
|
|
wxBitmapButton* m_textEditorBtn;
|
|
|
|
wxRadioButton* m_defaultPDFViewer;
|
|
|
|
wxRadioButton* m_otherPDFViewer;
|
|
|
|
wxTextCtrl* m_PDFViewerPath;
|
|
|
|
wxBitmapButton* m_pdfViewerBtn;
|
2018-11-22 16:11:49 +00:00
|
|
|
wxStaticText* m_staticTexticonscale;
|
2019-03-22 21:15:26 +00:00
|
|
|
STEPPED_SLIDER* m_iconScaleSlider;
|
|
|
|
wxCheckBox* m_iconScaleAuto;
|
|
|
|
wxStaticText* m_staticTextCanvasScale;
|
|
|
|
wxSpinCtrlDouble* m_canvasScaleCtrl;
|
|
|
|
wxCheckBox* m_canvasScaleAuto;
|
2018-05-14 17:34:18 +00:00
|
|
|
wxCheckBox* m_checkBoxIconsInMenus;
|
|
|
|
wxCheckBox* m_ZoomCenterOpt;
|
|
|
|
wxCheckBox* m_MousewheelPANOpt;
|
|
|
|
wxCheckBox* m_AutoPANOpt;
|
2019-07-25 16:48:11 +00:00
|
|
|
wxCheckBox* m_PreferSelectToDrag;
|
2019-08-15 11:52:38 +00:00
|
|
|
wxCheckBox* m_warpMouseOnMove;
|
2019-07-25 16:48:11 +00:00
|
|
|
wxCheckBox* m_NonImmediateActions;
|
2019-11-12 12:47:35 +00:00
|
|
|
|
2018-05-14 17:34:18 +00:00
|
|
|
// Virtual event handlers, overide them in your derived class
|
|
|
|
virtual void OnTextEditorClick( wxCommandEvent& event ) { event.Skip(); }
|
2018-11-22 16:11:49 +00:00
|
|
|
virtual void onUpdateUIPdfPath( wxUpdateUIEvent& event ) { event.Skip(); }
|
2018-05-14 17:34:18 +00:00
|
|
|
virtual void OnPDFViewerClick( wxCommandEvent& event ) { event.Skip(); }
|
|
|
|
virtual void OnScaleSlider( wxScrollEvent& event ) { event.Skip(); }
|
2019-03-22 21:15:26 +00:00
|
|
|
virtual void OnIconScaleAuto( wxCommandEvent& event ) { event.Skip(); }
|
|
|
|
virtual void OnCanvasScaleAuto( wxCommandEvent& event ) { event.Skip(); }
|
2019-11-12 12:47:35 +00:00
|
|
|
|
|
|
|
|
2018-05-14 17:34:18 +00:00
|
|
|
public:
|
2019-11-12 12:47:35 +00:00
|
|
|
|
|
|
|
PANEL_COMMON_SETTINGS_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 );
|
2018-05-14 17:34:18 +00:00
|
|
|
~PANEL_COMMON_SETTINGS_BASE();
|
2019-11-12 12:47:35 +00:00
|
|
|
|
2018-05-14 17:34:18 +00:00
|
|
|
};
|
|
|
|
|