warning and dead code alert formatting

Author: stilscher

src/state/gvMessages.ml

@@ -10,6 +10,13 @@ module Message = struct
     | Single p -> loc p
     | Group { pieces; _ } -> pieces |> List.filter_map loc |> List.enum |> Enum.get
 
+  let severity_to_bs_alert m = match m.severity with
+    | Error -> "alert-danger"
+    | Warning -> "alert-warning"
+    | Info -> "alert-info"
+    | Debug -> "alert-light"
+    | Success -> "alert-success"
+
   let to_string msg =
     let out = IO.output_string () in
     let fmt = Format.formatter_of_output out in

src/stylesheet.scss

@@ -28,3 +28,8 @@ ul {
   padding-left: 10px;
   font-size: small;
 }
+
+.alert {
+  padding: 8px 16px;
+  margin: 0px;
+}

src/ui/panel/DeadCodeView.re

@@ -11,7 +11,7 @@ let make = (~dispatch, ~locations) => {
           {locations
           |> List.mapi((i, loc: GoblintCil.location) => {
                 <li
-                  className="cursor warnitem"
+                  className="link-like alert alert-secondary"
                   key={string_of_int(i)}
                   onClick={_ => {
                     dispatch @@ `DisplayFile(loc.file);

src/ui/panel/WarningView.re

@@ -11,14 +11,14 @@ let make = (~warnings, ~dispatch) => {
     } else {
       <ul>
         {warnings
-        |> List.map(w => (Message.to_string(w), Message.location(w)))
-        |> List.mapi((i, (text, loc)) => {
+        |> List.map(w => (Message.to_string(w), Message.location(w), Message.severity_to_bs_alert(w)))
+        |> List.mapi((i, (text, loc, alert)) => {
               let onClick =
                 loc
                 |> Option.map((loc, _) =>
                     dispatch @@ `InspectLine(GvInspect.Line.of_location(loc))
                   );
-              <li className="cursor warnitem" key={string_of_int(i)} ?onClick>
+              <li className={"link-like alert " ++ alert} key={string_of_int(i)} ?onClick>
                 {text |> React.string}
               </li>;
             })