Fix missing variable 'current'

Author: sxprz

src/ui/panel/Panel.re

@@ -40,21 +40,22 @@ let make = (~state, ~dispatch) => {
 
   let locations = (state.goblint)#dead_locations;
 
-  let panel = switch (current) {
+  let current = state.selected_panel;
+
+  let component = switch (current) {
     | Some(Warnings) => <WarningView warnings={state.warnings} dispatch />
     | Some(DeadCode) => <DeadCodeView locations dispatch />
-    | Some(Parameters) => <ParameterView parameters />
     | Some(Statistics) => <GvStatisticsView stats={state.stats} />
+    | Some(Parameters) => <ParameterView parameters />
     | _ => React.null
   };
 
-  let current = state.selected_panel;
   <div className="panel d-flex flex-column border-right border-left h-25">
     {make_nav_pills(current, dispatch)}
     <div className="tab-content overflow-auto">
       <div className="tab-pane active">
-        {panel}
+        {component}
       </div>
     </div>
   </div>;
-};
+};