src/Tools/Graphview/layout.scala
Tue, 29 Aug 2023 12:53:28 +0200 wenzelm misc tuning: support "scalac -source 3.3";
Sat, 09 Apr 2022 15:40:29 +0200 wenzelm more robust: avoid partiality;
Sat, 09 Apr 2022 14:29:34 +0200 wenzelm clarified signature;
Sat, 09 Apr 2022 12:02:38 +0200 wenzelm avoid pattern-match warnings, notably in scala3;
Sat, 09 Apr 2022 11:56:48 +0200 wenzelm proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;
Sat, 09 Apr 2022 11:41:37 +0200 wenzelm proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;
Mon, 04 Apr 2022 22:06:40 +0200 wenzelm tuned for scala3;
Fri, 01 Apr 2022 23:19:12 +0200 wenzelm tuned formatting;
Fri, 01 Apr 2022 17:06:10 +0200 wenzelm clarified formatting, for the sake of scala3;
Thu, 04 Mar 2021 15:41:46 +0100 wenzelm tuned --- fewer warnings;
Mon, 01 Mar 2021 22:26:33 +0100 wenzelm tuned --- silence odd warning;
Mon, 01 Mar 2021 19:41:52 +0100 wenzelm tuned --- fewer warnings;
Fri, 27 Mar 2020 22:01:27 +0100 wenzelm misc tuning based on hints by IntelliJ IDEA;
Wed, 15 Jan 2020 19:54:50 +0100 wenzelm misc tuning, following hint by IntelliJ;
Sun, 11 Feb 2018 18:09:17 +0100 Lars Hupel use preferred resolver according to DOI Handbook ยง3.8
less more (0) -15 tip