标签： promela spin
我是ispin和promela编码的新手。我设法让自动机查看ispin的工作状态，但目前的问题是，当自动机有点复杂时，标签文本（过渡标签，状态名称）会变得很小，我无法阅读。即使单击放大按钮，它也只会放大状态图，而文本保持不变。有什么方法可以增加自动机查看文本的字体大小？