From f8de7d5bd84f989f4ca08b10d670345d6083ecdb Mon Sep 17 00:00:00 2001
From: bobzel <zzzman@gmail.com>
Date: Thu, 20 May 2021 17:32:12 -0400
Subject: changed size of filter buttons in sidebar

---
 src/client/views/SidebarAnnos.scss | 9 +++++----
 src/client/views/SidebarAnnos.tsx  | 5 +++--
 2 files changed, 8 insertions(+), 6 deletions(-)

(limited to 'src')

diff --git a/src/client/views/SidebarAnnos.scss b/src/client/views/SidebarAnnos.scss
index 9686cce85..a0506cb3a 100644
--- a/src/client/views/SidebarAnnos.scss
+++ b/src/client/views/SidebarAnnos.scss
@@ -7,12 +7,13 @@
     .sidebarAnnos-filterTag, .sidebarAnnos-filterTag-active,
     .sidebarAnnos-filterUser, .sidebarAnnos-filterUser-active {
         font-weight: bold;
-        padding-left: 6;
-        padding-right: 6;
-        box-shadow: black 1px 1px 4px;
+        font-size: 10px;
+        padding-left: 5;
+        padding-right: 5;
+        box-shadow: black 1px 1px 3px;
         border-radius: 5;
         margin: 2; 
-        height: 20;
+        height: 15;
         background-color: lightgrey;
     }
     .sidebarAnnos-filterUser, .sidebarAnnos-filterUser-active {
diff --git a/src/client/views/SidebarAnnos.tsx b/src/client/views/SidebarAnnos.tsx
index bff4c95fc..59ff1c340 100644
--- a/src/client/views/SidebarAnnos.tsx
+++ b/src/client/views/SidebarAnnos.tsx
@@ -68,7 +68,7 @@ export class SidebarAnnos extends React.Component<FieldViewProps & ExtraProps> {
         return false;
     }
     sidebarKey = () => this.props.fieldKey + "-sidebar";
-    filtersHeight = () => 50;
+    filtersHeight = () => 38;
     screenToLocalTransform = () => this.props.ScreenToLocalTransform().translate(Doc.NativeWidth(this.props.dataDoc), 0).scale(this.props.scaling?.() || 1);
     panelWidth = () => !this.props.layoutDoc._showSidebar ? 0 : this.props.layoutDoc.type === DocumentType.RTF ? this.props.PanelWidth() : (NumCast(this.props.layoutDoc.nativeWidth) - Doc.NativeWidth(this.props.dataDoc)) * this.props.PanelWidth() / NumCast(this.props.layoutDoc.nativeWidth);
     panelHeight = () => this.props.PanelHeight() - this.filtersHeight();
@@ -103,7 +103,8 @@ export class SidebarAnnos extends React.Component<FieldViewProps & ExtraProps> {
                 width: `${this.panelWidth()}px`,
                 height: "100%"
             }}>
-                <div className="sidebarAnnos-tagList" style={{ height: this.filtersHeight(), width: this.panelWidth() }}>
+                <div className="sidebarAnnos-tagList" style={{ height: this.filtersHeight(), width: this.panelWidth() }}
+                    onWheel={e => e.stopPropagation()}>
                     {this.allUsers.map(renderUsers)}
                     {this.allHashtags.map(renderTag)}
                 </div>
-- 
cgit v1.2.3-70-g09d2