Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
默认的相对面板宽度是 50% 输入和 50% 其他面板。如何以编程方式将其更改为例如 70/30？我在 Linux 上有 Coq(IDE) 8.5