Géry Debongnie cc50a2e3bb [FIX] playground: fix some issues with tab handling ...

closes #200

2019-06-25 09:38:00 +02:00

..

benchmarks

[REF] component: use 'component' instead of 'widget'

2019-06-20 12:31:00 +02:00

playground

[FIX] playground: fix some issues with tab handling

2019-06-25 09:38:00 +02:00

index.html

[ADD] tools: add v0.15.0 benchmark

2019-06-17 16:07:06 +02:00

main.css

[IMP] tools: rework benchmarks application

2019-06-13 11:41:49 +02:00

server.py

[FIX] benchmarks: two small fixes

2019-06-11 11:29:31 +02:00