--- nono/wx/wxhistmonitor.cpp 2026/04/29 17:04:39 1.1 +++ nono/wx/wxhistmonitor.cpp 2026/04/29 17:04:59 1.1.1.4 @@ -17,9 +17,9 @@ wxBEGIN_EVENT_TABLE(WXHistoryMonitor, in wxEND_EVENT_TABLE() // コンストラクタ -WXHistoryMonitor::WXHistoryMonitor(wxWindow *parent, wxWindowID id, - const wxString& name, IMonitor& monitor_) - : inherited(parent, id, name) +WXHistoryMonitor::WXHistoryMonitor(wxWindow *parent, const wxString& name, + Monitor& monitor_) + : inherited(parent, wxID_ANY, name) { // → // +--+-----------------------+--+--+ @@ -32,9 +32,9 @@ WXHistoryMonitor::WXHistoryMonitor(wxWin // | | +------------------+ | | | // +--+-----------------------+--+--+ - topsizer = new wxBoxSizer(wxHORIZONTAL); + wxBoxSizer *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, @@ -94,8 +94,7 @@ WXHistoryMonitor::OnSize(wxSizeEvent& ev // スクロールバーを再設定 int pos = (int)screen->GetUserData(); - const wxSize& size = screen->GetSize(); - int thumbsize = size.GetHeight() - 1; // 常にヘッダ1行表示している + int thumbsize = screen->GetRow() - 1; // 常にヘッダ1行表示している int range = 256; // XXX 拾ってくるべき int pagesize = thumbsize - 1; if (pos > range - thumbsize) { @@ -144,9 +143,9 @@ WXHistoryMonitor::DoScroll(int pos) // // コンストラクタ -WXBranchHistoryMonitor::WXBranchHistoryMonitor(wxWindow *parent, wxWindowID id, - IMonitor& monitor) - : inherited(parent, id, _("Branch History"), monitor) +WXBranchHistoryMonitor::WXBranchHistoryMonitor(wxWindow *parent, + Monitor& monitor) + : inherited(parent, _("Branch History"), monitor) { exflag = 0; screen->SetUserData(exflag); @@ -163,8 +162,8 @@ WXBranchHistoryMonitor::~WXBranchHistory // コンストラクタ WXExceptionHistoryMonitor::WXExceptionHistoryMonitor(wxWindow *parent, - wxWindowID id, IMonitor& monitor) - : inherited(parent, id, _("Exception History"), monitor) + Monitor& monitor) + : inherited(parent, _("Exception History"), monitor) { exflag = 1ULL << 63; screen->SetUserData(exflag);