From e32bbb077ff6a89f1bb947bfd448497c74cbc75c Mon Sep 17 00:00:00 2001 From: Alan Bernstein Date: Tue, 30 May 2017 12:56:29 -0500 Subject: [PATCH 1/4] Fix html structure again --- webui/index.html | 20 ++++++++------------ 1 file changed, 8 insertions(+), 12 deletions(-) diff --git a/webui/index.html b/webui/index.html index 034dba0f6..7a7deabe0 100644 --- a/webui/index.html +++ b/webui/index.html @@ -76,19 +76,15 @@ - - -
- -

Output

-
- - -
- -
- + +
+

Output

+
+ +
+
+
From 48192edac146fa0b47a9a8f65bd9e7eac89b2112 Mon Sep 17 00:00:00 2001 From: Alan Bernstein Date: Tue, 30 May 2017 12:56:48 -0500 Subject: [PATCH 2/4] Hide unimplemented status section --- webui/index.html | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/webui/index.html b/webui/index.html index 7a7deabe0..687f8fc93 100644 --- a/webui/index.html +++ b/webui/index.html @@ -99,10 +99,11 @@
+
From 4ed670b7091470a870fb3cecb0560060326e835f Mon Sep 17 00:00:00 2001 From: Alan Bernstein Date: Tue, 30 May 2017 12:57:07 -0500 Subject: [PATCH 3/4] Remove unused styles --- webui/assets/style.css | 6 ------ 1 file changed, 6 deletions(-) diff --git a/webui/assets/style.css b/webui/assets/style.css index 3a5bcaf39..3567a2a03 100644 --- a/webui/assets/style.css +++ b/webui/assets/style.css @@ -287,12 +287,6 @@ td{ padding: 21px 30px; } -.string { color: green; } -.number { color: darkorange; } -.boolean { color: blue; } -.null { color: magenta; } -.key { color: red; } - .expand { text-align: center; } From f8b4b6a323bfa7daae868d4389532a401ec4f286 Mon Sep 17 00:00:00 2001 From: Alan Bernstein Date: Tue, 30 May 2017 13:02:09 -0500 Subject: [PATCH 4/4] Use correct syntax in help text --- webui/assets/main.js | 8 ++++---- webui/index.html | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/webui/assets/main.js b/webui/assets/main.js index db54a3b1e..7927a3b42 100644 --- a/webui/assets/main.js +++ b/webui/assets/main.js @@ -161,10 +161,10 @@ class REPL { output_string += `

Just getting started? Try this:
- $ curl -XPOST "http://127.0.0.1:10101/index/test" -d '{"options": {"columnLabel": "col"}}' # create index "test"
- $ curl -XPOST "http://127.0.0.1:10101/index/test/frame/foo" -d '{"options": {"rowLabel": "row"}}' # create frame "foo"
- # Select "test" in the index dropdown above
- SetBit(row=0, col=0, frame=foo) # Use PQL to set a bit + :create index test
+ :use test
+ :create frame foo
+ SetBit(rowID=0, columnID=0, frame=foo) # Use PQL to set a bit ` } } diff --git a/webui/index.html b/webui/index.html index 687f8fc93..dc06e310a 100644 --- a/webui/index.html +++ b/webui/index.html @@ -56,7 +56,7 @@
Special commands
:create index test [columnLabel=column]
- :use index test
+ :use test
:create frame foo [rowLabel=row]
:delete index test
:delete frame foo