【发布时间】:2016-09-22 09:58:36
【问题描述】:
使用vis::Figure 和vis::Render 生成并显示大图后,是否可以在显示该图的 Eclipse 窗口中交互式缩小/缩小?
我试过<Control>+<mouse-wheel>,但没用。
【问题讨论】:
标签: rascal
使用vis::Figure 和vis::Render 生成并显示大图后,是否可以在显示该图的 Eclipse 窗口中交互式缩小/缩小?
我试过<Control>+<mouse-wheel>,但没用。
【问题讨论】:
标签: rascal
我认为该功能未在该版本的 Figure 库中实现。这里有一个基于 Web 的实验版本,界面相似,但行为不同:https://github.com/cwi-swat/shapes
【讨论】: