diff options
| author | Loic Guegan <manzerbredes@mailbox.org> | 2022-02-23 20:27:13 +0100 |
|---|---|---|
| committer | Loic Guegan <manzerbredes@mailbox.org> | 2022-02-23 20:27:13 +0100 |
| commit | b3ba310792f189e9da35024d3ebb6f6433906841 (patch) | |
| tree | c6c13034134384ba9be8e498941fecf54e7a46de /src/preferences/EditorPrefsPanelBF.h | |
| parent | 5a43d62920f82bac38490ac92dd9a49edd1d44de (diff) | |
Improve editor preferences
Diffstat (limited to 'src/preferences/EditorPrefsPanelBF.h')
| -rw-r--r-- | src/preferences/EditorPrefsPanelBF.h | 22 |
1 files changed, 19 insertions, 3 deletions
diff --git a/src/preferences/EditorPrefsPanelBF.h b/src/preferences/EditorPrefsPanelBF.h index 8736a59..518338e 100644 --- a/src/preferences/EditorPrefsPanelBF.h +++ b/src/preferences/EditorPrefsPanelBF.h @@ -9,12 +9,17 @@ #include <wx/artprov.h> #include <wx/xrc/xmlres.h> -#include <wx/panel.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/string.h> +#include <wx/clrpicker.h> +#include <wx/spinctrl.h> +#include <wx/checkbox.h> +#include <wx/sizer.h> +#include <wx/panel.h> /////////////////////////////////////////////////////////////////////////// @@ -27,10 +32,21 @@ class EditorPrefsPanelBF : public wxPanel private: protected: + wxStaticText* color_margin_label; + wxColourPickerCtrl* color_margin; + wxStaticText* color_scrollbar_label; + wxColourPickerCtrl* color_scrollbar; + wxStaticText* color_scrollbarbg_label; + wxColourPickerCtrl* color_scrollbarbg; + wxStaticText* color_commentbg_label; + wxColourPickerCtrl* color_commentbg; + wxStaticText* row_size_label; + wxSpinCtrl* row_size; + wxCheckBox* show_move_icons; public: - EditorPrefsPanelBF( wxWindow* parent, wxWindowID id = wxID_ANY, const wxPoint& pos = wxDefaultPosition, const wxSize& size = wxSize( 500,300 ), long style = wxTAB_TRAVERSAL, const wxString& name = wxEmptyString ); + EditorPrefsPanelBF( wxWindow* parent, wxWindowID id = wxID_ANY, const wxPoint& pos = wxDefaultPosition, const wxSize& size = wxSize( 622,420 ), long style = wxTAB_TRAVERSAL, const wxString& name = wxEmptyString ); ~EditorPrefsPanelBF(); |
