From f9925688329fb02b46e524cd31ac733f37549eeb Mon Sep 17 00:00:00 2001 From: pkova Date: Sat, 31 Jul 2021 23:37:23 +0300 Subject: Add customizable prefix key in js repl --- docs/try.html | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'docs/try.html') diff --git a/docs/try.html b/docs/try.html index d5871c0d..0faa3131 100644 --- a/docs/try.html +++ b/docs/try.html @@ -9,10 +9,11 @@ li { margin:0.7em 0; } textarea { padding:0.2em; } .perm, .count { font-size:0.7em; margin:-0.2em 0.8em 0 0; } - .run, .doexplain, .perm { float:right; margin-left:0.4em; } + .run, .doexplain, .perm, .prfx { float:right; margin-left:0.4em; } .doexplain.selected { background:#777; } .count { float:left; opacity:0.6; } .rslt { border:none; background:none; min-height:8em; } + .prfx { width: 1.1em; } @@ -21,6 +22,7 @@
+ permalink @@ -30,7 +32,7 @@

Notes:

-- cgit v1.2.3