jjzjj

php - 在 wxPHP 中更新属性时如何刷新 wxAuiManager Pane ?

我设置了一个简单的wxAuiManager系统,其中包含八个文本控件,每个控件设置为一个Pane,所有控件都围绕一个中央静态控件排列。我有两个分别捕捉到顶部、左侧、右侧和底部Pane方向。这部分工作正常。我现在想修改每个Pane的属性,我认为这可以通过重置关联的wxAuiPaneInfo来完成。例如,我想添加/删除图钉或最大化图标。我可以让它自己工作,但在重置这些属性后重新绘制托管窗口被证明是一个挑战。这是我目前使用的代码://Getthecurrentlyselectedpane$paneIndex=$this->getSelectedPaneIndex();/*@var$paneI

php - 在 wxPHP 中更新属性时如何刷新 wxAuiManager Pane ?

我设置了一个简单的wxAuiManager系统,其中包含八个文本控件,每个控件设置为一个Pane,所有控件都围绕一个中央静态控件排列。我有两个分别捕捉到顶部、左侧、右侧和底部Pane方向。这部分工作正常。我现在想修改每个Pane的属性,我认为这可以通过重置关联的wxAuiPaneInfo来完成。例如,我想添加/删除图钉或最大化图标。我可以让它自己工作,但在重置这些属性后重新绘制托管窗口被证明是一个挑战。这是我目前使用的代码://Getthecurrentlyselectedpane$paneIndex=$this->getSelectedPaneIndex();/*@var$paneI