Mercurial > code > home > repos > homeauto

annotate service/store/index.html @ 1452:1dd4da407c0b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
build and release config Ignore-this: a1a0231a2811ac29f906ca72d85a8c34 darcs-hash:879bbda36c705de169b0b746f5c4de467b48d142
author drewp <drewp@bigasterisk.com>
date Wed, 25 Sep 2019 17:28:38 -0700
parents 1431cd58803d
children 92cb3245fdd1
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>
c1792115b1d3 new 'store' service for user inputs
drewp <drewp@bigasterisk.com>
parents:
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
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
10 <link rel="import" href="/rdf/streamed-graph.html">
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
11 <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
12
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
13 <meta name="mobile-web-app-capable" content="yes">
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
14 <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
15 </head>
c1792115b1d3 new 'store' service for user inputs
drewp <drewp@bigasterisk.com>
parents:
diff changeset
16 <body>
1261
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
17 <template id="t" is="dom-bind">
1214
c1792115b1d3 new 'store' service for user inputs
drewp <drewp@bigasterisk.com>
parents:
diff changeset
18
1261
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
19 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
20 <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
21 <div id="out"></div>
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
22 <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
23 </template>
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
24 <style>
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
25 .served-resources {
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
26 margin-top: 4em;
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
27 border-top: 1px solid gray;
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
28 padding-top: 1em;
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
29 }
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
30 .served-resources a {
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
31 padding-right: 2em;
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
32 }
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
33 </style>
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
34
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
35 <div class="served-resources">
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
36 <a href="stats/">/stats/</a>
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
37 <a href="graph">/graph</a>
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
38 <a href="graph/events">/graph/events</a>
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
39 <a href="values">/values (put)</a>
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
40 </div>
1431cd58803d change port, put to /values, build updates
drewp <drewp@bigasterisk.com>
parents: 1214
diff changeset
41
1214
c1792115b1d3 new 'store' service for user inputs
drewp <drewp@bigasterisk.com>
parents:
diff changeset
42 </body>
c1792115b1d3 new 'store' service for user inputs
drewp <drewp@bigasterisk.com>
parents:
diff changeset
43 </html>