# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1738843718 -3600
# Node ID a4947e9bbf620474e48c4133f8a6262807537f38
# Parent  6c3b7d1f2115458fb0e51c1fba55674590f1373b
tuned: use Isabelle symbols for icons;

diff -r 6c3b7d1f2115 -r a4947e9bbf62 src/Tools/Find_Facts/web/src/Searcher.elm
--- a/src/Tools/Find_Facts/web/src/Searcher.elm	Wed Feb 05 15:28:17 2025 +0100
+++ b/src/Tools/Find_Facts/web/src/Searcher.elm	Thu Feb 06 13:08:38 2025 +0100
@@ -12,7 +12,7 @@
 import Browser.Events as Events
 import Dict exposing (Dict)
 import Html exposing (..)
-import Html.Attributes exposing (name, style)
+import Html.Attributes exposing (class, name, style)
 import Html.Events.Extra exposing (onEnter)
 import Html.Extra as Html
 import Json.Decode as Decode
@@ -268,6 +268,20 @@
     x::xs -> ItemList.list (ItemList.config |> ItemList.setAttributes menu_config) x xs
     _ -> Html.nothing
 
+isabelle_icon_button s =
+  IconButton.customIcon
+    Html.i
+    [class "material-icons", style "vertical-align" "top",
+      style "font-family" "\"Isabelle DejaVu Sans Mono\", monospace", style "font-size" "math"]
+    [Html.text s]
+
+isabelle_icon_textfield s =
+  TextFieldIcon.customIcon
+    Html.i
+    [class "material-icons", style "font-family" "\"Isabelle DejaVu Sans Mono\", monospace",
+      style "font-size" "larger"]
+    [Html.text s]
+
 view_filter: Maybe String -> Dict String Int -> (Int, Filter) -> Html Msg
 view_filter search0 counts (i, filter) =
   let
@@ -281,7 +295,7 @@
         [TextField.outlined
           (TextField.config
            |> TextField.setLeadingIcon (Just (
-             TextFieldIcon.icon (if filter.exclude then "block" else "done")
+             isabelle_icon_textfield (if filter.exclude then "∉" else "∈")
              |> TextFieldIcon.setOnInteraction (Change_Filter i)))
            |> TextField.setValue (Just value)
            |> TextField.setOnInput (Input_Filter (Maybe.isNothing search))
@@ -292,7 +306,7 @@
       LayoutGrid.cell [LayoutGrid.span1, LayoutGrid.alignLeft] [
         IconButton.iconButton
           (IconButton.config |> IconButton.setOnClick (Remove_Filter i))
-          (IconButton.icon "close")]]
+          (isabelle_icon_button "×")]]
 
 view_facet: String -> String -> List String -> Dict String Int -> Set String -> Html Msg
 view_facet field t ts counts selected =