From f06f3d1136ed3d2cb5b7815d0d3280bc71fbd824 Mon Sep 17 00:00:00 2001 From: WrinklyNinja Date: Wed, 5 Jun 2013 13:44:38 +0100 Subject: [PATCH] Implemented issue #16. --- src/gui/editor.cpp | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/gui/editor.cpp b/src/gui/editor.cpp index 7481b307..fa2f10b9 100644 --- a/src/gui/editor.cpp +++ b/src/gui/editor.cpp @@ -131,7 +131,12 @@ Editor::Editor(wxWindow *parent, const wxString& title, const char * userlistPat removeBtn->Enable(false); prioritySpin->Enable(false); enableUserEditsBox->Enable(false); - + + //Make plugin name bold text. + wxFont font = pluginText->GetFont(); + font.SetWeight(wxFONTWEIGHT_BOLD); + pluginText->SetFont(font); + //Set up layout. wxBoxSizer * bigBox = new wxBoxSizer(wxHORIZONTAL);