diff --git a/common/dialogs/panel_hotkeys_editor.cpp b/common/dialogs/panel_hotkeys_editor.cpp index 346320985e..e561ac8564 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, - int( filterSearch->GetSize().y * 1.5 ) ) ); + int( filterSearch->GetSize().y * 1.6 ) ) ); this->Layout(); #endif