diff --git a/common/dialogs/panel_hotkeys_editor.cpp b/common/dialogs/panel_hotkeys_editor.cpp index 69d4de8f1c..346320985e 100644 --- a/common/dialogs/panel_hotkeys_editor.cpp +++ b/common/dialogs/panel_hotkeys_editor.cpp @@ -86,7 +86,7 @@ PANEL_HOTKEYS_EDITOR::PANEL_HOTKEYS_EDITOR( EDA_BASE_FRAME* aFrame, wxWindow* aW #ifdef __WXGTK__ // Work around a bug that clips the text vertically in the wxSearchCtrl on GTK filterSearch->SetMinSize( wxSize( filterSearch->GetSize().x, - filterSearch->GetSize().y + 4 ) ); + int( filterSearch->GetSize().y * 1.5 ) ) ); this->Layout(); #endif