add new highlight colors

Author: tulinkry

opengrok-web/src/main/webapp/default/style-1.0.4.css

@@ -876,7 +876,7 @@ a.scope            { /* scope              */ color: steelblue; font-weight: bol
     width: calc(
         100% /* whole window */
         - 20px /* padding-left + padding-right */
-        );
+    );
 }
 
 .intelli-window {
@@ -887,19 +887,31 @@ a.scope            { /* scope              */ color: steelblue; font-weight: bol
 .symbol-highlighted.hightlight-color-1 {
     /* yellow */
     background-color: #ffd700;
-    background-color: rgb(255, 215, 0);
 }
 
 .symbol-highlighted.hightlight-color-2 {
     /* green */
     background-color: #00ff00;
-    background-color: rgb(0, 255, 0);
 }
 
 .symbol-highlighted.hightlight-color-3 {
     /* blue */
     background-color: #00ccff;
-    background-color: rgb(0, 204, 255);
+}
+
+.symbol-highlighted.hightlight-color-4 {
+    /* purple */
+    background-color: #F653F8;
+}
+
+.symbol-highlighted.hightlight-color-5 {
+    /* orange */
+    background-color: rgb(242, 132, 34);
+}
+
+.symbol-highlighted.hightlight-color-6 {
+    /* light green */
+    background-color: #B6EBB5;
 }
 
 .messages-window {

opengrok-web/src/main/webapp/js/utils-0.0.44.js

@@ -875,6 +875,21 @@
                                 }
                                 break;
                             case 53: // 5
+                                if (that.symbol && that.unhighlight(that.symbol).length === 0) {
+                                    that.highlight(that.symbol, 4);
+                                }
+                                break;
+                            case 54: // 6
+                                if (that.symbol && that.unhighlight(that.symbol).length === 0) {
+                                    that.highlight(that.symbol, 5);
+                                }
+                                break;
+                            case 55: // 5
+                                if (that.symbol && that.unhighlight(that.symbol).length === 0) {
+                                    that.highlight(that.symbol, 6);
+                                }
+                                break;
+                            case 56: // 7
                                 that.unhighlightAll();
                                 break;
                             case 110: // n
@@ -963,14 +978,18 @@
                     }
                     return this.getSymbols().filter(".symbol-highlighted").filter(function () {
                         return $(this).text() === symbol;
-                    }).removeClass('symbol-highlighted').
-                            removeClass("hightlight-color-1 hightlight-color-2 hightlight-color-3");
+                    }).removeClass('symbol-highlighted')
+                        .removeClass(function (index, className) {
+                            return (className.match(/(^|\s)hightlight-color-\S+/g) || []).join(' ');
+                        });
                 },
                 unhighlightAll: function () {
                     this.$last_highlighted_current = undefined;
                     return this.getSymbols().filter(".symbol-highlighted").
                             removeClass("symbol-highlighted").
-                            removeClass("hightlight-color-1 hightlight-color-2 hightlight-color-3");
+                            removeClass(function (index, className) {
+                                return (className.match (/(^|\s)hightlight-color-\S+/g) || []).join(' ');
+                            });
                 },
                 scrollTop: function ($el) {
                     if (this.options.scrollTop) {