Linter Demo

​x
 
1
var widgets = []
2
function updateHints() {
3
  editor.operation(function(){
4
    for (var i = 0; i < widgets.length; ++i)
5
      editor.removeLineWidget(widgets[i]);
6
    widgets.length = 0;
7
​
8
    JSHINT(editor.getValue());
9
    for (var i = 0; i < JSHINT.errors.length; ++i) {
10
      var err = JSHINT.errors[i];
11
      if (!err) continue;
12
      var msg = document.createElement("div");
13
      var icon = msg.appendChild(document.createElement("span"));
14
      icon.innerHTML = "!!";
15
      icon.className = "lint-error-icon";
16
      msg.appendChild(document.createTextNode(err.reason));
17
      msg.className = "lint-error";
18
      widgets.push(editor.addLineWidget(err.line - 1, msg, {coverGutter: false, noHScroll: true}));
19
    }
20
  });
21
  var info = editor.getScrollInfo();
22
  var after = editor.charCoords({line: editor.getCursor().line + 1, ch: 0}, "local").top;
23
  if (info.top + info.clientHeight < after)
24
    editor.scrollTo(null, after - info.clientHeight + 3);
25
}
26
​

21
 
1
[
2
 {
3
  _id: "post 1",
4
  "author": "Bob",
5
  "content": "...",
6
  "page_views": 5
7
 },
8
 {
9
  "_id": "post 2",
10
  "author": "Bob",
11
  "content": "...",
12
  "page_views": 9
13
 },
14
 {
15
  "_id": "post 3",
16
  "author": "Bob",
17
  "content": "...",
18
  "page_views": 8
19
 }
20
]
21
​

60
 
1
@charset "UTF-8";
2
​
3
@import url("booya.css") print, screen;
4
@import "whatup.css" screen;
5
@import "wicked.css";
6
​
7
/*Error*/
8
@charset "UTF-8";
9
​
10
​
11
@namespace "http://www.w3.org/1999/xhtml";
12
@namespace svg "http://www.w3.org/2000/svg";
13
​
14
/*Warning: empty ruleset */
15
.foo {
16
}
17
​
18
h1 {
19
    font-weight: bold;
20
}
21
​
22
/*Warning: qualified heading */
23
.foo h1 {
24
    font-weight: bold;
25
}
26
​
27
/*Warning: adjoining classes */
28
.foo.bar {
29
    zoom: 1;
30
}
31
​
32
li.inline {
33
    width: 100%;  /*Warning: 100% can be problematic*/
34
}
35
​
36
li.last {
37
  display: inline;
38
  padding-left: 3px !important;
39
  padding-right: 3px;
40
  border-right: 0px;
41
}
42
​
43
@media print {
44
    li.inline {
45
      color: black;
46
    }
47
}
48
​
49
@page {
50
  margin: 10%;
51
  counter-increment: page;
52
​
53
  @top-center {
54
    font-family: sans-serif;
55
    font-weight: bold;
56
    font-size: 2em;
57
    content: counter(page);
58
  }
59
}
60
​