From 971336dfb8b625067db84fb73435c511e3a2a0a0 Mon Sep 17 00:00:00 2001 From: "davidzagi93@gmail.com" Date: Mon, 16 Aug 2021 14:57:24 +0100 Subject: [PATCH] reduced terminal dragable border width and resolved search error --- libs/remix-ui/terminal/src/lib/remix-ui-terminal.css | 2 +- libs/remix-ui/terminal/src/lib/remix-ui-terminal.tsx | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/libs/remix-ui/terminal/src/lib/remix-ui-terminal.css b/libs/remix-ui/terminal/src/lib/remix-ui-terminal.css index f757b1b3e8..e10347fa1a 100644 --- a/libs/remix-ui/terminal/src/lib/remix-ui-terminal.css +++ b/libs/remix-ui/terminal/src/lib/remix-ui-terminal.css @@ -141,7 +141,7 @@ element.style { .dragbarHorizontal { position : absolute; top : 0; - height : 0.5em; + height : 0.2em; right : 0; left : 0; cursor : row-resize; diff --git a/libs/remix-ui/terminal/src/lib/remix-ui-terminal.tsx b/libs/remix-ui/terminal/src/lib/remix-ui-terminal.tsx index 9be04ca258..42cc08ea73 100644 --- a/libs/remix-ui/terminal/src/lib/remix-ui-terminal.tsx +++ b/libs/remix-ui/terminal/src/lib/remix-ui-terminal.tsx @@ -797,7 +797,7 @@ export const RemixUiTerminal = (props: RemixUiTerminalProps) => { {/* ${self._view.inputSearch} */} setSearchInput(event.target.value) } + onChange={(event) => setSearchInput(event.target.value.trim()) } type="text" className="border filter form-control" id="searchInput" @@ -830,7 +830,7 @@ export const RemixUiTerminal = (props: RemixUiTerminalProps) => { ) } else if (x.name === 'unknownTransaction' || x.name === 'knownTransaction') { - return x.message.filter(x => x.tx.hash.includes(searchInput) || x.tx.from.includes(searchInput) || x.tx.to.includes(searchInput)).map((trans) => { + return x.message.filter(x => x.tx.hash.includes(searchInput) || x.tx.from.includes(searchInput) || (x.tx.to.includes(searchInput))).map((trans) => { return (
{renderKnownTransactions(trans.tx, trans.receipt, index)}
) }) } else {