diff options
| author | bobzel <zzzman@gmail.com> | 2021-05-20 17:32:12 -0400 |
|---|---|---|
| committer | bobzel <zzzman@gmail.com> | 2021-05-20 17:32:12 -0400 |
| commit | f8de7d5bd84f989f4ca08b10d670345d6083ecdb (patch) | |
| tree | 0060ce359bf2c0ddf555c94cfabc597de448ec17 | |
| parent | 3a215bfddbc68ab314bcfb242c7c2d7652556fb1 (diff) | |
changed size of filter buttons in sidebar
| -rw-r--r-- | src/client/views/SidebarAnnos.scss | 9 | ||||
| -rw-r--r-- | src/client/views/SidebarAnnos.tsx | 5 |
2 files changed, 8 insertions, 6 deletions
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> |