Give the wxChoice an explicit width so the min size of the panel won't

be too large, preventing the splitter from resizing it back down to a
manageble size.


git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@32717 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
This commit is contained in:
Robin Dunn
2005-03-10 19:07:15 +00:00
parent 4652511f90
commit 13304c1b9b

View File

@@ -507,7 +507,7 @@ bool wxHtmlHelpFrame::Create(wxWindow* parent, wxWindowID id,
wxDefaultPosition, wxDefaultSize, wxDefaultPosition, wxDefaultSize,
wxTE_PROCESS_ENTER); wxTE_PROCESS_ENTER);
m_SearchChoice = new wxChoice(dummy, wxID_HTML_SEARCHCHOICE, m_SearchChoice = new wxChoice(dummy, wxID_HTML_SEARCHCHOICE,
wxDefaultPosition, wxDefaultSize); wxDefaultPosition, wxSize(125,-1));
m_SearchCaseSensitive = new wxCheckBox(dummy, wxID_ANY, _("Case sensitive")); m_SearchCaseSensitive = new wxCheckBox(dummy, wxID_ANY, _("Case sensitive"));
m_SearchWholeWords = new wxCheckBox(dummy, wxID_ANY, _("Whole words only")); m_SearchWholeWords = new wxCheckBox(dummy, wxID_ANY, _("Whole words only"));
m_SearchButton = new wxButton(dummy, wxID_HTML_SEARCHBUTTON, _("Search")); m_SearchButton = new wxButton(dummy, wxID_HTML_SEARCHBUTTON, _("Search"));