src/Tools/Graphview/mutator_event.scala
Tue, 29 Aug 2023 19:20:51 +0200 wenzelm clarified signature: prefer enum types;
Tue, 29 Aug 2023 19:17:25 +0200 wenzelm proper type, following Bus.event;
Fri, 01 Apr 2022 17:06:10 +0200 wenzelm clarified formatting, for the sake of scala3;
less more (0) -3 tip