Mercurial > code > home > repos > homeauto

annotate service/store/index.html @ 1453:ea942d383f62

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
index page is a data browser. support for -v Ignore-this: cbe181b141420e0d6872203e4738f86f darcs-hash:ddf89fabcec49046d70987597a5b421a415e2335
author drewp <drewp@bigasterisk.com>
date Wed, 25 Sep 2019 17:29:12 -0700
parents 1431cd58803d
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1214
c1792115b1d3 new 'store' service for user inputs
drewp <drewp@bigasterisk.com>
parents:
diff changeset
1 <!doctype html>
c1792115b1d3 new 'store' service for user inputs
drewp <drewp@bigasterisk.com>
parents:
diff changeset
2 <html>
c1792115b1d3 new 'store' service for user inputs
drewp <drewp@bigasterisk.com>
parents:
diff changeset
3 <head>
c1792115b1d3 new 'store' service for user inputs
drewp <drewp@bigasterisk.com>
parents:
diff changeset
4 <title>store</title>
1453
ea942d383f62 index page is a data browser. support for -v
drewp <drewp@bigasterisk.com>
parents: 1261
diff changeset
5 <meta charset="utf-8">
1261
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
6 <script src="/lib/polymer/1.0.9/webcomponentsjs/webcomponents.min.js"></script>
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
7 <script src="/lib/require/require-2.3.3.js"></script>
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
8 <script src="/rdf/common_paths_and_ns.js"></script>
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
9
1453
ea942d383f62 index page is a data browser. support for -v
drewp <drewp@bigasterisk.com>
parents: 1261
diff changeset
10 <link rel="stylesheet" href="/rdf/browse/style.css">
ea942d383f62 index page is a data browser. support for -v
drewp <drewp@bigasterisk.com>
parents: 1261
diff changeset
11
1261
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
12 <link rel="import" href="/rdf/streamed-graph.html">
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
13 <link rel="import" href="/lib/polymer/1.0.9/polymer/polymer.html">
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
14
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
15 <meta name="mobile-web-app-capable" content="yes">
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
16 <meta name="viewport" content="width=device-width, initial-scale=1">
1214
c1792115b1d3 new 'store' service for user inputs
drewp <drewp@bigasterisk.com>
parents:
diff changeset
17 </head>
1453
ea942d383f62 index page is a data browser. support for -v
drewp <drewp@bigasterisk.com>
parents: 1261
diff changeset
18 <body class="rdfBrowsePage">
1261
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
19 <template id="t" is="dom-bind">
1214
c1792115b1d3 new 'store' service for user inputs
drewp <drewp@bigasterisk.com>
parents:
diff changeset
20
1261
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
21 table of statements, creation times, creators, which UI they used
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
22 <streamed-graph url="graph/events" graph="{{graph}}"></streamed-graph>
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
23 <div id="out"></div>
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
24 <script type="module" src="/rdf/streamed_graph_view.js"></script>
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
25 </template>
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
26 <style>
1453
ea942d383f62 index page is a data browser. support for -v
drewp <drewp@bigasterisk.com>
parents: 1261
diff changeset
27
1261
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
28 </style>
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
29 <div class="served-resources">
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
30 <a href="stats/">/stats/</a>
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
31 <a href="graph">/graph</a>
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
32 <a href="graph/events">/graph/events</a>
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
33 <a href="values">/values (put)</a>
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
34 </div>
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
35
1214
c1792115b1d3 new 'store' service for user inputs
drewp <drewp@bigasterisk.com>
parents:
diff changeset
36 </body>
c1792115b1d3 new 'store' service for user inputs
drewp <drewp@bigasterisk.com>
parents:
diff changeset
37 </html>