CoqIDE：相对面板宽度

Question

默认的相对面板宽度为50％输入和50％其他面板。如何以编程方式将其更改为例如70/30？我在Linux上有Coq（IDE）8.5