disable Find_Unused_Assms_Examples for now, to recover isatest sanity;

less massive arrow heads;

added explicit zoom box;

some attempts at more discrete scale factor;

more official graphics context with font metrics;

just one class with parameters;

initial layout coordinates more like old browser; tuned geometry defaults;

added speculative options for jEdit;

separate instance of class Parameters for each Main_Panel -- avoid global program state; misc tuning;

discontinued long names flag -- better done via entity markup, without affecting layout;

tuned;

tuned;

tuned min/max;

tuned;

keep diagnostic command -- avoid confusion when it disappears;

tuned;

tuned signature;

removed somewhat pointless Edge_Transitive filter, as the graph is always reduced to its Hasse diagram, to have any chance to layout efficiently;

merge

merged

merge

changed capitalization of MeSh filter

(re)introduce (even more) aggressive parallelism, for the benefit of those users with dozens of CPU cores

further clarification for Windows;