comparison lib/homeauto_anynode/static/index.html @ 613:62b52bb862f7

just reindent, i think Ignore-this: 519383817f24612419191d79e14bfb5c
author drewp@bigasterisk.com
date Sat, 03 Aug 2019 17:02:16 -0700
parents bb43ad96da8c
children 94bf6bbdbb04
comparison
equal deleted inserted replaced
612:4bee03b708c7 613:62b52bb862f7
6 <meta charset="utf-8" /> 6 <meta charset="utf-8" />
7 <script src="/lib/polymer/1.0.9/webcomponentsjs/webcomponents.min.js"></script> 7 <script src="/lib/polymer/1.0.9/webcomponentsjs/webcomponents.min.js"></script>
8 <script src="/lib/require/require-2.3.3.js"></script> 8 <script src="/lib/require/require-2.3.3.js"></script>
9 <script> 9 <script>
10 requirejs.config({ 10 requirejs.config({
11 paths: { 11 paths: {
12 "streamed-graph": "/rdf/streamed-graph", 12 "streamed-graph": "/rdf/streamed-graph",
13 "quadstore": "/rdf/quadstore", 13 "quadstore": "/rdf/quadstore",
14 "async-module": "/lib/async/80f1793/async", 14 "async-module": "/lib/async/80f1793/async",
15 "async": "/lib/async/80f1793/async", 15 "async": "/lib/async/80f1793/async",
16 "jsonld-module": "/lib/jsonld.js/0.4.11/js/jsonld", 16 "jsonld-module": "/lib/jsonld.js/0.4.11/js/jsonld",
17 "jsonld": "/lib/jsonld.js/0.4.11/js/jsonld", 17 "jsonld": "/lib/jsonld.js/0.4.11/js/jsonld",
18 "rdfstore": "/lib/rdf_store/0.9.7/dist/rdfstore", 18 "rdfstore": "/lib/rdf_store/0.9.7/dist/rdfstore",
19 "moment": "/lib/moment.min", 19 "moment": "/lib/moment.min",
20 "underscore": "/lib/underscore-1.5.2.min", 20 "underscore": "/lib/underscore-1.5.2.min",
21 } 21 }
22 }); 22 });
23 </script> 23 </script>
24 24
25 <link rel="import" href="/lib/polymer/1.0.9/polymer/polymer.html"> 25 <link rel="import" href="/lib/polymer/1.0.9/polymer/polymer.html">
26 <link rel="import" href="/lib/polymer/1.0.9/iron-ajax/iron-ajax.html"> 26 <link rel="import" href="/lib/polymer/1.0.9/iron-ajax/iron-ajax.html">
31 <link rel="import" href="/rdf/graph-view.html"> 31 <link rel="import" href="/rdf/graph-view.html">
32 <link rel="import" href="/rdf/streamed-graph.html"> 32 <link rel="import" href="/rdf/streamed-graph.html">
33 <link rel="import" href="static/output-widgets.html"> 33 <link rel="import" href="static/output-widgets.html">
34 <style> 34 <style>
35 body { 35 body {
36 font-family: monospace; 36 font-family: monospace;
37 display: flex; 37 display: flex;
38 flex-direction: column; 38 flex-direction: column;
39 margin: 0; 39 margin: 0;
40 height: 100vh; 40 height: 100vh;
41 } 41 }
42 </style> 42 </style>
43 </head> 43 </head>
44 <body> 44 <body>
45 <script> 45 <script>
94 } 94 }
95 var env = streamedGraph.graph.store.rdf; 95 var env = streamedGraph.graph.store.rdf;
96 streamedGraph.graph.quadStore.quads({subject: env.createNamedNode(this.subj), 96 streamedGraph.graph.quadStore.quads({subject: env.createNamedNode(this.subj),
97 predicate: env.createNamedNode(this.pred)}, 97 predicate: env.createNamedNode(this.pred)},
98 function(quad) { 98 function(quad) {
99 this.out = quad.object.valueOf(); 99 this.out = quad.object.valueOf();
100 }.bind(this)); 100 }.bind(this));
101 }, 101 },
102 formatted: function (obj) { 102 formatted: function (obj) {
103 if (typeof(obj) == 'string') { 103 if (typeof(obj) == 'string') {
104 return this.compactUri(obj); 104 return this.compactUri(obj);
105 } else { 105 } else {
112 </dom-module> 112 </dom-module>
113 113
114 <dom-module id="arduinonode-boards"> 114 <dom-module id="arduinonode-boards">
115 <style> 115 <style>
116 h1 { 116 h1 {
117 margin: 0; 117 margin: 0;
118 font-size: 130%; 118 font-size: 130%;
119 } 119 }
120 ul { 120 ul {
121 padding-left: 5px; 121 padding-left: 5px;
122 } 122 }
123 .board, .device { 123 .board, .device {
124 border: 1px solid gray; 124 border: 1px solid gray;
125 border-radius: 10px; 125 border-radius: 10px;
126 margin: 13px; 126 margin: 13px;
127 padding: 7px; 127 padding: 7px;
128 box-shadow: 2px 5px 5px rgba(0, 0, 0, 0.14); 128 box-shadow: 2px 5px 5px rgba(0, 0, 0, 0.14);
129 } 129 }
130 .board { 130 .board {
131 background: rgb(244, 244, 244); 131 background: rgb(244, 244, 244);
132 } 132 }
133 .device { 133 .device {
134 background: #fff; 134 background: #fff;
135 } 135 }
136 .devs { 136 .devs {
137 -webkit-column-width: 440px; 137 -webkit-column-width: 440px;
138 } 138 }
139 .devs .device { 139 .devs .device {
140 -webkit-column-break-inside: avoid; 140 -webkit-column-break-inside: avoid;
141 } 141 }
142 </style> 142 </style>
143 <template> 143 <template>
144 <streamed-graph url="graph/events" graph="{{graph}}"></streamed-graph> 144 <streamed-graph url="graph/events" graph="{{graph}}"></streamed-graph>
145 <iron-ajax url="boards" auto="true" handle-as="json" 145 <iron-ajax url="boards" auto="true" handle-as="json"