improve file list view

Author: stilscher

src/stylesheet.scss

@@ -191,3 +191,7 @@ ol, ul {
   min-height: 0;
   flex-grow: 1;
 }
+
+.text-link {
+  text-decoration: none;
+}

src/ui/panel/DeadCodeView.re

@@ -5,7 +5,7 @@ let make = (~dispatch, ~locations) => {
   <div className="filebox">
     {
       if (List.length(locations) == 0)
-        {<h2>{"No dead code found!" |> React.string}</h2>}
+        {<p>{"No dead code found!" |> React.string}</p>}
       else {
         <ul>
           {locations

src/ui/sidebar/gvFileList.re

@@ -4,17 +4,15 @@ open GoblintCil;
 let make_func_list = (file, funcs, dispatch) => {
   let on_click = (data, _) => Option.may(dispatch, data);
 
-  <ul>
-    {funcs
-     |> List.mapi((i, func) => {
-          <li key={string_of_int(i)}>
-            <Link on_click callback_data={`DisplayFunc((func, file))}>
-              {func |> React.string}
-            </Link>
-          </li>
-        })
-     |> React.list}
-  </ul>;
+  {funcs
+    |> List.mapi((i, func) => {
+        <li key={"inner" ++ string_of_int(i)} className="list-group-item px-5">
+          <Link on_click callback_data={`DisplayFunc((func, file))} class_=["text-link"]>
+            {func |> React.string}
+          </Link>
+        </li>
+      })
+    |> React.list};
 };
 
 [@react.component]
@@ -29,17 +27,19 @@ let make = (~cil: Cil.file, ~dispatch) => {
 
   let on_click = (data, _) => Option.may(dispatch, data);
 
-  <ul>
+  <ul className="list-group">
     {files
      |> Hashtbl.keys
      |> Enum.uniq_by(String.equal)
      |> Enum.mapi((i, file) => {
-          <li key={string_of_int(i)}>
-            <Link on_click callback_data={`DisplayFile(file)}>
-              {file |> React.string}
-            </Link>
+          <div key={string_of_int(i)}>
+            <li className="list-group-item">
+              <Link on_click callback_data={`DisplayFile(file)} class_=["text-link"]>
+                {file |> React.string}
+              </Link>
+            </li>
             {make_func_list(file, Hashtbl.find_all(files, file), dispatch)}
-          </li>
+          </div>
         })
      |> List.of_enum
      |> React.list}