是的，我今天发现“jump to procedures Puzzle”功能允许“程序定义”和“程序运行”两拼图不在同一个选项卡也能实现切换。虽然视角切换了，但选项卡激活状态似乎忘记切换了。具体可以查看附件视频。
最后希望官方能追加将“Creating Procedures”移动到其他选项卡去，且不影响正在使用的“Procedure”。
当前版本为4.5.0。
