2Elm.Native.Text.make = function(elm) {
3 elm.Native = elm.Native || {};
4 elm.Native.Text = elm.Native.Text || {};
5 if (elm.Native.Text.values) return elm.Native.Text.values;
7 var JS = Elm.JavaScript.make(elm);
8 var Utils = Elm.Native.Utils.make(elm);
9 var Color = Elm.Native.Color.make(elm);
10 var Element = Elm.Graphics.Element.make(elm);
11 var show = Elm.Native.Show.make(elm).show;
13 function makeSpaces(s) {
14 if (s.length == 0) { return s; }
15 var arr = s.split('');
16 if (arr[0] == ' ') { arr[0] = " " }
17 for (var i = arr.length; --i; ) {
18 if (arr[i][0] == ' ' && arr[i-1] == ' ') {
19 arr[i-1] = arr[i-1] + arr[i];
23 for (var i = arr.length; i--; ) {
24 if (arr[i].length > 1 && arr[i][0] == ' ') {
25 var spaces = arr[i].split('');
26 for (var j = spaces.length - 2; j >= 0; j -= 2) {
29 arr[i] = spaces.join('');
33 if (arr[arr.length-1] === " ") {
34 return arr.slice(0,-1) + ' ';
39 function properEscape(str) {
40 if (str.length == 0) return str;
41 str = str //.replace(/&/g, "&")
42 .replace(/"/g, '"')
43 .replace(/'/g, "'")
44 .replace(/</g, "<")
45 .replace(/>/g, ">")
46 .replace(/\n/g, "<br/>");
47 var arr = str.split('<br/>');
48 for (var i = arr.length; i--; ) {
49 arr[i] = makeSpaces(arr[i]);
51 return arr.join('<br/>');
54 function toText(str) { return Utils.txt(properEscape(JS.fromString(str))); }
56 function addTag(tag) {
57 return function(text) {
58 return Utils.txt('<' + tag + '>' + text + '</' + tag + '>');
62 function addStyle(style, value, text) {
63 return Utils.txt("<span style='" + style + ":" + value + "'>" + text + "</span>");
66 function typeface(name, text) {
67 return addStyle('font-family', JS.fromString(name), text);
69 function monospace(text) {
70 return addStyle('font-family', 'monospace', text);
72 function size(px, text) { return addStyle('font-size', px + 'px', text) }
73 var header = addTag('h1');
74 function height(h, text) { return addStyle('font-size', h+'px', text) }
75 function italic(text) { return addStyle('font-style', 'italic', text) }
76 var bold = addTag('b');
79 if (c._3 === 1) { return 'rgb(' + c._0 + ', ' + c._1 + ', ' + c._2 + ')'; }
80 return 'rgba(' + c._0 + ', ' + c._1 + ', ' + c._2 + ', ' + c._3 + ')';
82 function color(c, text) {
83 return addStyle('color', extract(c), text);
85 function underline(text) { return addStyle('text-decoration', 'underline', text) }
86 function overline(text) { return addStyle('text-decoration', 'overline', text) }
87 function strikeThrough(text) {
88 return addStyle('text-decoration', 'line-through', text);
90 function link(href, text) {
91 return Utils.txt("<a href='" + toText(href) + "'>" + text + "</a>");
94 function position(pos) {
95 return function(text) {
96 var e = {ctor:'RawHtml',
97 _0: '<div style="padding:0;margin:0;text-align:' +
98 pos + '">' + text + '</div>'
100 var p = A2(Utils.htmlHeight, 0, text);
101 return A3(Element.newElement, p._0, p._1, e);
106 return position('left')(monospace(toText(show(v))));
109 function plainText(v) {
110 return position('left')(toText(v));
113 return elm.Native.Text.values = {
120 underline : underline,
122 strikeThrough : strikeThrough,
123 monospace : monospace,
124 typeface : F2(typeface),
128 justified : position('justify'),
129 centered : position('center'),
130 righted : position('right'),
131 text : position('left'),
132 plainText : plainText,
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