5function newElement(elementType) {
6 var e = document.createElement(elementType);
12function addTo(container, elem) {
13 container.appendChild(elem);
16function makeText(pos,txt) {
17 var e = newElement('div');
19 e.style.textAlign = pos;
23function setProps(props, e) {
24 e.style.width = (props.width |0) + 'px';
25 e.style.height = (props.height|0) + 'px';
26 if (props.opacity !== 1) { e.style.opacity = props.opacity; }
27 if (props.color.ctor === 'Just') {
28 e.style.backgroundColor = Elm.Color.extract(props.color._0);
30 if (props.tag !== '') { e.id = props.tag; }
31 if (props.href !== '') {
32 var a = newElement('a');
40function image(props, img) {
41 switch (img._0.ctor) {
42 case 'Plain': return plainImage(img._3);
43 case 'Fitted': return fittedImage(props.width, props.height, img._3);
44 case 'Cropped': return croppedImage(img._0._0,props.width,props.height,img._3);
48function plainImage(src) {
49 var img = newElement('img');
52 img.style.display = "block";
56function fittedImage(w, h, src) {
57 var e = newElement('div');
58 e.style.position = "relative";
59 e.style.overflow = "hidden";
61 var img = newElement('img');
62 img.onload = function() {
63 img.style.position = 'absolute';
64 img.style.margin = 'auto';
67 if (w / h > this.width / this.height) {
68 sh = Math.round(this.height * w / this.width);
70 sw = Math.round(this.width * h / this.height);
72 img.style.width = sw + 'px';
73 img.style.height = sh + 'px';
74 img.style.left = ((w - sw) / 2) + 'px';
75 img.style.top = ((h - sh) / 2) + 'px';
83function croppedImage(pos, w, h, src) {
84 var e = newElement('div');
85 e.style.position = "relative";
86 e.style.overflow = "hidden";
88 var img = newElement('img');
89 img.onload = function() {
90 img.style.position = 'absolute';
91 img.style.margin = 'auto';
92 var sw = dimensions.width / w, sh = dimensions.height / h;
93 img.style.width = (this.width * sw) + 'px';
94 img.style.height = (this.height * sh) + 'px';
95 img.style.left = (- pos._0 * sw) + 'px';
96 img.style.top = (- pos._1 * sh) + 'px';
104function goIn(e) { e.style.position = 'absolute'; return e; }
105function goDown(e) { return e }
106function goRight(e) { e.style.styleFloat = e.style.cssFloat = "left"; return e; }
107function flowWith(f, array) {
108 var container = newElement('div');
109 for (var i = array.length; i--; ) {
110 addTo(container, f(render(array[i])));
115function flow(dir,elist) {
116 var array = JS.fromList(elist);
118 case "DDown": array.reverse();
119 case "DUp": return flowWith(goDown,array);
120 case "DRight": array.reverse();
121 case "DLeft": return flowWith(goRight,array);
122 case "DOut": array.reverse();
123 case "DIn": return flowWith(goIn,array);
129 case "Absolute": return pos[1] + "px";
130 case "Relative": return (pos[1] * 100) + "%";
134function addTransform(style, trans) {
135 style.transform = trans;
136 style.msTransform = trans;
137 style.MozTransform = trans;
138 style.webkitTransform = trans;
139 style.OTransform = trans;
142function removeTransform(style) {
143 style.transform = 'none';
144 style.msTransform = 'none';
145 style.MozTransform = 'none';
146 style.webkitTransform = 'none';
147 style.OTransform = 'none';
150function setPos(pos,w,h,e) {
151 e.style.position = 'absolute';
152 e.style.margin = 'auto';
154 switch(pos.horizontal) {
155 case 'P': e.style.right = toPos(pos.x); break;
156 case 'Z': transform = 'translateX(' + ((-w/2)|0) + 'px) ';
157 case 'N': e.style.left = toPos(pos.x); break;
159 switch(pos.vertical) {
160 case 'N': e.style.bottom = toPos(pos.x); break;
161 case 'Z': transform += 'translateY(' + ((-h/2)|0) + 'px)';
162 case 'P': e.style.top = toPos(pos.x); break;
164 if (transform !== '') addTransform(e.style, transform);
168function container(pos,elem) {
169 var e = render(elem);
170 setPos(pos, elem.props.width, elem.props.height, e);
171 var div = newElement('div');
172 div.style.position = 'relative';
173 div.style.overflow = 'hidden';
178function rawHtml(html) {
179 var e = newElement('div');
184function render(elem) { return setProps(elem.props, makeElement(elem)); }
185function makeElement(e) {
186 switch(e.element.ctor) {
187 case 'Image': return image(e.props, e.element);
188 case 'Flow': return flow(e.element._0, e.element._1);
189 case 'Container': return container(e.element._0, e.element._1);
190 case 'Spacer': return newElement('div');
191 case 'RawHtml': return rawHtml(e.element._0);
192 case 'DomNode': return e.element._0;
196function update(node, curr, next) {
197 if (node.tagName === 'A') { node = node.firstChild; }
198 if (curr.props.id === next.props.id) return false;
199 if (curr.element.ctor !== next.element.ctor) {
200 node.parentNode.replaceChild(render(next),node);
203 var nextE = next.element, currE = curr.element;
205 case "Spacer": break;
206 case "RawHtml": if (nextE._0 !== currE._0) node.innerHTML = nextE._0; break;
208 if (nextE._0.ctor === 'Plain') {
209 if (nextE._3 !== currE._3) node.src = nextE._3;
210 } else if (!Value.eq(nextE,currE) ||
211 next.props.width !== curr.props.width ||
212 next.props.height !== curr.props.height) {
213 node.parentNode.replaceChild(render(next),node);
218 if (nextE._0.ctor !== currE._0.ctor) {
219 node.parentNode.replaceChild(render(next),node);
222 var nexts = nextE._1;
223 var kids = node.childNodes;
224 if (nexts.length !== kids.length) {
225 node.parentNode.replaceChild(render(next),node);
228 var currs = currE._1;
229 var goDir = function(x) { return x; };
230 switch(nextE[1][0]) {
231 case "DDown": case "DUp": goDir = goDown; break;
232 case "DRight": case "DLeft": goDir = goRight; break;
233 case "DOut": case "DIn": goDir = goIn; break;
235 for (var i = kids.length; i-- ;) {
236 update(kids[i],currs[i],nexts[i]);
241 var inner = node.firstChild;
242 if (!update(inner, currE._1, nextE._1)) {
243 if (nextE._0.horizontal.ctor !== currE._0.horizontal.ctor) {
244 inner.style.left = inner.style.right = 'none';
245 removeTransform(inner.style);
247 if (nextE._0.vertical.ctor !== currE._0.vertical.ctor) {
248 inner.style.top = inner.style.bottom = 'none';
249 removeTransform(inner.style);
252 setPos(nextE._0, next.props.width, next.props.height, node.firstChild);
255 if (next._0 !== curr._0) node.parentNode.replaceChild(render(next),node);
258 var props = next.props, currP = curr.props;
259 if (props.width !== currP.width) e.style.width = (props.width |0) + 'px';
260 if (props.height !== currP.height) e.style.height = (props.height|0) + 'px';
261 if (props.opacity !== 1 && props.opacity !== currP.opacity) {
262 e.style.opacity = props.opacity;
264 var nextColor = (props.color.ctor === 'Just' ?
265 Elm.Color.extract(props.color._0) : 'transparent');
266 if (e.style.backgroundColor !== nextColor) e.style.backgroundColor = nextColor;
267 if (props.tag !== currP.tag) { e.id = props.tag; }
268 if (props.href !== currP.href) {
269 if (currP.href === '') {
270 var a = newElement('a');
273 e.parentNode.replaceChild(a,e);
275 node.parentNode.href = props.href;
284 newElement:newElement
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list