Enumerate bubbles

Print the step number for each event in the bubble.
wandec · Jun 7, 2017 · 875a2e2 · 875a2e2
1 parent fb12cea
commit 875a2e2
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 3 deletions.
diff --git a/www/scripts/codecheckerviewer/BugViewer.js b/www/scripts/codecheckerviewer/BugViewer.js
@@ -144,13 +144,14 @@ function (declare, dom, style, on, query, Memory, Observable, topic, entities,
     addBubbles : function (bubbles) {
       var that = this;
 
-      bubbles.forEach(function (bubble) {
+      bubbles.forEach(function (bubble, i) {
         var left = that.codeMirror.defaultCharWidth() * bubble.startCol + 'px';
+        var enumeration = '<span class="enum">(' + (i + 1) + ')</span> ';
 
         var element = dom.create('div', {
           style : 'margin-left: ' + left,
           class : 'checkMsg',
-          innerHTML : entities.encode(bubble.msg)
+          innerHTML : enumeration + entities.encode(bubble.msg)
         });
 
         that._lineWidgets.push(that.codeMirror.addLineWidget(

diff --git a/www/style/codecheckerviewer.css b/www/style/codecheckerviewer.css
@@ -129,6 +129,10 @@ html, body {
   border-radius: 5px;
 }
 
+.checkMsg .enum {
+  color: gray;
+}
+
 .editorHeader {
   padding: 4px;
   border-bottom: 1px solid lightgrey;
@@ -322,4 +326,4 @@ span[class*="severity-"]::before {
 
 .customIcon.assume_switch {
   color: #7f410c;
-}
+}