Wed, 26 Feb 2020 15:38:13 +0100 obsolete;
wenzelm [Wed, 26 Feb 2020 15:38:13 +0100] rev 71480
obsolete;
Wed, 26 Feb 2020 15:38:04 +0100 less ambitious preview: discontinued preview-update / preview-source which did not work on the spot via WebviewPanel;
wenzelm [Wed, 26 Feb 2020 15:38:04 +0100] rev 71479
less ambitious preview: discontinued preview-update / preview-source which did not work on the spot via WebviewPanel;
Wed, 26 Feb 2020 15:34:52 +0100 misc tuning and clarification;
wenzelm [Wed, 26 Feb 2020 15:34:52 +0100] rev 71478
misc tuning and clarification;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip