--- nono/wx/wxhistmonitor.cpp 2026/04/29 17:04:39 1.1 +++ nono/wx/wxhistmonitor.cpp 2026/04/29 17:04:53 1.1.1.2 @@ -34,7 +34,7 @@ WXHistoryMonitor::WXHistoryMonitor(wxWin topsizer = new wxBoxSizer(wxHORIZONTAL); // 左余白 - topsizer->AddSpacer(DefaultPadding); + topsizer->Add(new WXPaddingPanel(this), 0, wxEXPAND); // 中列の縦 sizer auto *vbox = new wxBoxSizer(wxVERTICAL); topsizer->Add(vbox, 0, wxEXPAND); @@ -45,15 +45,15 @@ WXHistoryMonitor::WXHistoryMonitor(wxWin // だが、上下の余白はその時点のフォントサイズによって変更する必要がある。 // 先にサイズ不定のパネルだけ置いといて、フォントサイズ確定後に大きさを // 確定させる。DoSize() 参照。 - padding1 = new wxPanel(this, wxID_ANY); - padding2 = new wxPanel(this, wxID_ANY); - vbox->Add(padding1); + padding1 = new WXPaddingPanel(this); + padding2 = new WXPaddingPanel(this); screen = new WXTextScreen(this, monitor_); + vbox->Add(padding1, 0, wxEXPAND); vbox->Add(screen, 1, wxEXPAND); - vbox->Add(padding2); + vbox->Add(padding2, 0, wxEXPAND); // 右余白 - topsizer->AddSpacer(DefaultPadding); + topsizer->Add(new WXPaddingPanel(this), 0, wxEXPAND); // スクロールバー vscroll = new wxScrollBar(this, wxID_ANY, wxDefaultPosition,