From 348f7420b3e5a75f6f35c561d425c3b0c0b0e357 Mon Sep 17 00:00:00 2001 From: stephan Date: Wed, 18 May 2022 23:40:27 +0000 Subject: [PATCH] #if out the '.load' command in WASM builds. Several UI layout tweaks. FossilOrigin-Name: 67d98297f01d4274c510f5c5cb2a219aeb36fcbb7ce78b8b9ed65639a4561c73 --- ext/fiddle/fiddle.in.html | 51 ++++++++++++++++++++++++++++++++------- manifest | 14 +++++------ manifest.uuid | 2 +- src/shell.c.in | 4 +-- 4 files changed, 52 insertions(+), 19 deletions(-) diff --git a/ext/fiddle/fiddle.in.html b/ext/fiddle/fiddle.in.html index 9e761d6ffa..ae3bce871f 100644 --- a/ext/fiddle/fiddle.in.html +++ b/ext/fiddle/fiddle.in.html @@ -45,6 +45,7 @@ flex-direction: column; align-items: stretch; flex: 1 1 auto; + margin: 0.25em; } .button-bar { display: flex; @@ -69,6 +70,18 @@ pointer-events: none !important; display: none !important; } + fieldset.options { + font-size: 80%; + } + fieldset > legend { + padding: 0 0.5em; + } + span.labeled-input { + padding: 0.25em; + margin: 0.25em 0.5em; + border: 1px inset; + border-radius: 0.25em; + } @@ -78,6 +91,19 @@
+
+ Options +
+ + + + + + + + +
+
+
-
-
- Options -
- - -
-
Notes and Caveats @@ -136,6 +155,14 @@ select * from t;