Small bugfixes

axiom-profiler-GUI/assets/html/style.css

@@ -432,6 +432,7 @@ ul.selected-info {
 /* Simple dot-svg view */
 
 .dot {
+    display: inline-block;
     position: relative;
 }
 .dot.scaled {

axiom-profiler-GUI/src/infobars/omnibox/mode.rs

@@ -334,13 +334,15 @@ impl SearchMode {
             FocusSearch {
                 results, select, ..
             } => {
+                if select.is_none() {
+                    commands.can_select(true);
+                }
                 let default = PickedSuggestion {
                     ridx,
                     choice_idx: None,
                 };
                 let new = select.filter(|s| s.ridx == ridx).unwrap_or(default);
                 *select = Some(new);
-                commands.can_select(true);
 
                 let entry = new.index(results, omnibox);
                 self.input = entry.search_text.clone();

axiom-profiler-GUI/src/screen/inst_graph/filter/apply.rs

@@ -208,7 +208,10 @@ impl Filter {
         let rev_graph = graph.raw.rev();
         let relevant_non_qi_nodes: Vec<_> = Dfs::new(rev_graph, start)
             .iter(rev_graph)
-            .filter(|nx| graph.raw.graph[*nx].kind().inst().is_none())
+            // TODO: this is left out for now because the first iteration of a
+            // matching loop is generally left out by the analysis and this will
+            // keep it in the displayed view:
+            // .filter(|nx| graph.raw.graph[*nx].kind().inst().is_none())
             .filter(|nx| {
                 let node = &graph.raw.graph[*nx];
                 nodes_of_nth_matching_loop

axiom-profiler-GUI/src/utils/split_div.rs

@@ -165,7 +165,7 @@ impl Component for SplitDiv {
         let style_right = format!(
             "width:calc({}% - {}px); height:100%;",
             inverse * 100.0,
-            middle_width * position
+            middle_width * inverse
         );
         let mut children = ctx.props().children.iter();
         html! {