GUI layout tweaks.

diff --git a/src/wx/config_dialog.cc b/src/wx/config_dialog.cc
index 0428f302fc8617d5cfad341c40e874c319c41757..114f20aee908b93c3491c6d6770f102daf3bad80 100644 (file)
--- a/src/wx/config_dialog.cc
+++ b/src/wx/config_dialog.cc
@@ -432,7 +432,8 @@ ConfigDialog::make_colour_conversions_panel ()
                columns,
                boost::bind (&Config::colour_conversions, Config::instance()),
                boost::bind (&Config::set_colour_conversions, Config::instance(), _1),
-               boost::bind (&colour_conversion_column, _1)
+               boost::bind (&colour_conversion_column, _1),
+               300
                );
 }
 
@@ -457,7 +458,7 @@ ConfigDialog::make_kdm_email_panel ()
        _kdm_email_panel->SetSizer (s);
 
        _kdm_email = new wxTextCtrl (_kdm_email_panel, wxID_ANY, wxEmptyString, wxDefaultPosition, wxDefaultSize, wxTE_MULTILINE);
-       s->Add (_kdm_email, 1, wxEXPAND | wxALL);
+       s->Add (_kdm_email, 1, wxEXPAND | wxALL, 12);
 
        _kdm_email->Bind (wxEVT_COMMAND_TEXT_UPDATED, boost::bind (&ConfigDialog::kdm_email_changed, this));
        _kdm_email->SetValue (wx_to_std (Config::instance()->kdm_email ()));

diff --git a/src/wx/editable_list.h b/src/wx/editable_list.h
index 731434186001cb5d220b08d58b0d6dcc27350202..20d180f20149633ce96dabd8b2b9c501216e8378 100644 (file)
--- a/src/wx/editable_list.h
+++ b/src/wx/editable_list.h
@@ -28,7 +28,8 @@ public:
                std::vector<std::string> columns,
                boost::function<std::vector<T> ()> get,
                boost::function<void (std::vector<T>)> set,
-               boost::function<std::string (T, int)> column
+               boost::function<std::string (T, int)> column,
+               int height = 100
                )
                : wxPanel (parent)
                , _get (get)
@@ -43,7 +44,7 @@ public:
                table->AddGrowableCol (0, 1);
                s->Add (table, 1, wxALL | wxEXPAND, 8);
 
-               _list = new wxListCtrl (this, wxID_ANY, wxDefaultPosition, wxSize (columns.size() * 200, 100), wxLC_REPORT | wxLC_SINGLE_SEL);
+               _list = new wxListCtrl (this, wxID_ANY, wxDefaultPosition, wxSize (columns.size() * 200, height), wxLC_REPORT | wxLC_SINGLE_SEL);
 
                for (size_t i = 0; i < columns.size(); ++i) {
                        wxListItem ip;