From bbcb9e49d454c2d4d203df7675626c10c25e539d Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sat, 31 Jul 2021 18:16:22 -0400 Subject: Move prefix customization to bottom right of keybar --- docs/try.html | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'docs/try.html') diff --git a/docs/try.html b/docs/try.html index 0faa3131..97919d20 100644 --- a/docs/try.html +++ b/docs/try.html @@ -9,11 +9,10 @@ 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, .prfx { float:right; margin-left:0.4em; } + .run, .doexplain, .perm { 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; } @@ -22,7 +21,6 @@

- permalink @@ -32,7 +30,7 @@

Notes:

You can type special characters with a backslash (customizable) prefix, as shown by hovering over the character bar above. Documentation links for primitives are here.
You can type special characters with a backslash prefix (customize at the right), as shown by hovering over the character bar above. Documentation links for primitives are here.
Any modifier with enter will execute, not just shift. The code window is vertically resizeable.
Support for function headers and multiple bodies is missing.

-- cgit v1.2.3