use TomSelect for graphplot

Author: hexaeder

NetworkDynamicsInspector/assets/app.css

@@ -13,6 +13,16 @@ body {
     box-sizing: border-box;
 }
 
+.ts-dropdown .optgroup-header{
+    font-weight: bolder;
+}
+.ts-dropdown .option{
+    font-family: monospace !important;
+}
+.ts-dropdown .option.selected{
+    background-color: #dddd;
+}
+
 .select2-container .select2-selection .select2-selection__rendered,
 .select2-container .select2-selection--single .select2-selection__rendered,
 .select2-container .select2-results__option{

NetworkDynamicsInspector/src/graphplot.jl

@@ -284,7 +284,7 @@ function gpstate_control_card(app, type)
         options[] = gen_state_options(_nw, idxs)
         nothing
     end
-    multisel = MultiSelect(options, stateobs; placeholder="Select state for coloring", multi=false, T=Symbol)
+    multisel = TomSelect(options, stateobs; placeholder="Select state for coloring", multi=false, T=Symbol)
     reltoggle = ToggleSwitch(value=stateobs_rel, label="Rel to u0")
     selector = Grid(
         DOM.span(label),