From 6e21bb19aa899c3284fbd3984a2cc1ea13ffbfc8 Mon Sep 17 00:00:00 2001
From: Ben Fry <ben@fathom.info>
Date: Fri, 20 May 2022 13:40:52 -0400
Subject: [PATCH] better 'search' icon (less enormous circle)

---
 build/shared/lib/manager/search.svg | 2 +-
 todo.txt                            | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/build/shared/lib/manager/search.svg b/build/shared/lib/manager/search.svg
index 8a994ad14..2dcefae40 100644
--- a/build/shared/lib/manager/search.svg
+++ b/build/shared/lib/manager/search.svg
@@ -1,4 +1,4 @@
 <?xml version="1.0" encoding="utf-8"?>
 <svg version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" x="0px" y="0px" viewBox="0 0 32 32" xml:space="preserve">
-<g><path fill="#9B9B9B" d="M19,0C11.82,0,6,5.82,6,13s5.82,13,13,13s13-5.82,13-13S26.18,0,19,0z M19,24c-6.07,0-11-4.93-11-11 S12.93,2,19,2s11,4.93,11,11S25.07,24,19,24z M6.94,22.94l2.12,2.12L2.12,32L0,29.88L6.94,22.94z"/></g>
+<g><path fill="#9B9B9B" d="M18,5a9,9,0,1,0,9,9A9,9,0,0,0,18,5Zm0,16a7,7,0,1,1,7-7A7,7,0,0,1,18,21Zm-8-.2A9.4,9.4,0,0,0,11.2,22l-6.32,6.9L3.12,27.12Z"/></g>
 </svg>
diff --git a/todo.txt b/todo.txt
index b115911a9..9626d6b8d 100755
--- a/todo.txt
+++ b/todo.txt
@@ -120,6 +120,7 @@ X   these should be read from theme.txt instead
 o   or not used at all: the defaults from ui.font and FlatLaf should do
 X   only really need for the bold font
 X improved 'close' icon (thicker x)
+X better 'search' icon (less enormous circle)
 
 manager
 X make ContributionTab.FilterField into a static class