| Wed, 26 Feb 2020 15:38:04 +0100 | wenzelm | less ambitious preview: discontinued preview-update / preview-source which did not work on the spot via WebviewPanel; | file | diff | annotate |
| Tue, 25 Feb 2020 18:30:08 +0100 | wenzelm | update to WebviewPanel API, following initial version by Peter Zeller; | file | diff | annotate |
| Thu, 29 Jun 2017 13:28:08 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 27 Jun 2017 16:50:40 +0200 | wenzelm | added missing files (cf. 5aa9cb83e70e); | file | diff | annotate |