PhosphorJSウィジェットの（初期）サイズを設定するには

Question

PhosphorJSウィジェットの（初期）サイズを設定するにはどうすればいいですか？具体的にはウィジェットはDockPanelの中にありますか？

手動でサイズを変更できますが、プログラムでサイズを設定したいと思います。

Answer 1

SplitPanelのようなウィジェットには、setSizes()メソッドがあります。

質問にリンクされている例では、CodeMirrorパネルは（他のパネルは、階層を掘り以上かかります）ので、同じようにリサイズすることができます

// First, find the parent widget: 

stackedLayout = panel.layout     
dockSplitPanel = stackedLayout._children[0] 

// OR directly: panel.layout._children[0] 


// Then set the relative sizes so the CodeMirror panel takes 60% of the width: 
dockSplitPanel.setSizes([6,4])