在 alloy 主题定义中为节点使用自定义图像

Question

Alloy 主题定义界面允许为每个签名分配自定义图像。可以从预定义图像列表中选择一个图像。但是，我想知道是否可以将我自己的图像添加到此列表中？！

Answer 1

alloy 源代码可用，您可以根据需要对其进行编辑。 源代码包含在您用于 运行 Alloy 分析器的 jar 中。

没有内置的自定义来执行此操作。