From ed0f91f7bef761379798cdf20d3e454b796766d4 Mon Sep 17 00:00:00 2001 From: Ika Date: Thu, 9 Nov 2017 19:30:38 +0800 Subject: [PATCH] feat(playground): add options (#3222) * chore(playground): add options * chore(playground): re-reorder options --- website/pages/playground/index.html | 11 ++++++++++- website/static/playground.js | 3 +++ 2 files changed, 13 insertions(+), 1 deletion(-) diff --git a/website/pages/playground/index.html b/website/pages/playground/index.html index b638c5708..3205c10a1 100644 --- a/website/pages/playground/index.html +++ b/website/pages/playground/index.html @@ -351,6 +351,9 @@
+ + +
@@ -360,7 +363,13 @@
- +