4 Commits

Author	SHA1	Message	Date
Géry Debongnie	b891ae7de4	[REM] tools: remove error handling in playground ... There was some code to attempt to display the error in the right pane, whenever it occured in the app early phase. However, it made it much harder to properly handle all cases. It could silently swallow some errors (if more than one was done), And it was not behaving the same way in Firefox and in Chrome.	2019-11-13 08:49:25 +01:00
Géry Debongnie	63c3d4f6b0	[IMP] playground: slightly improve default text	2019-10-01 21:37:36 +02:00
Géry Debongnie	1c8e1af86d	[IMP] tools: improve error message display	2019-06-28 14:54:24 +02:00
Géry Debongnie	e1bcea77b5	[REF] tools: rename extras into tools	2019-06-10 09:31:06 +02:00