From 182bad5ecb683ad5b120f4665c4c38887275f918 Mon Sep 17 00:00:00 2001 From: lianahus Date: Thu, 14 Mar 2024 12:20:09 +0100 Subject: [PATCH] terminal ui fixes. --- .../src/app/tabs/locales/en/terminal.json | 4 +-- .../lib/components/remix-ui-terminal-bar.tsx | 2 +- .../lib/components/remix-ui-terminal-menu.tsx | 26 +++++++++---------- .../terminal/src/lib/remix-ui-terminal.css | 5 +--- 4 files changed, 16 insertions(+), 21 deletions(-) diff --git a/apps/remix-ide/src/app/tabs/locales/en/terminal.json b/apps/remix-ide/src/app/tabs/locales/en/terminal.json index 8a20e2e97a..431f54fbba 100644 --- a/apps/remix-ide/src/app/tabs/locales/en/terminal.json +++ b/apps/remix-ide/src/app/tabs/locales/en/terminal.json @@ -1,8 +1,8 @@ { - "terminal.listen": "listen on all transactions", + "terminal.listen": "Listen on all transactions", "terminal.listenVM": "Listen on all transactions is disabled for VM environment", "terminal.listenTitle": "If checked Remix will listen on all transactions mined in the current environment and not only transactions created by you", - "terminal.search": "Search with transaction hash or address", + "terminal.search": "Filter with transaction hash or address", "terminal.used": "used", "terminal.debug": "Debug", "terminal.welcomeText1": "Welcome to", diff --git a/libs/remix-ui/terminal/src/lib/components/remix-ui-terminal-bar.tsx b/libs/remix-ui/terminal/src/lib/components/remix-ui-terminal-bar.tsx index f88efce844..b8de5fbace 100644 --- a/libs/remix-ui/terminal/src/lib/components/remix-ui-terminal-bar.tsx +++ b/libs/remix-ui/terminal/src/lib/components/remix-ui-terminal-bar.tsx @@ -23,7 +23,7 @@ export const RemixUITerminalBar = (props: RemixUiTerminalProps) => { return (<>
diff --git a/libs/remix-ui/terminal/src/lib/components/remix-ui-terminal-menu.tsx b/libs/remix-ui/terminal/src/lib/components/remix-ui-terminal-menu.tsx index 8eac46c62d..8db169a505 100644 --- a/libs/remix-ui/terminal/src/lib/components/remix-ui-terminal-menu.tsx +++ b/libs/remix-ui/terminal/src/lib/components/remix-ui-terminal-menu.tsx @@ -27,25 +27,23 @@ export const RemixUITerminalMenu = (props: RemixUiTerminalProps) => { } return (
- }> + }>
0
- - - +
-
+
setSearchInput(event.target.value.trim())} @@ -68,7 +66,7 @@ export const RemixUITerminalMenu = (props: RemixUiTerminalProps) => { />
- }> + }>
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 fb9d6bf735..066cf6af20 100644 --- a/libs/remix-ui/terminal/src/lib/remix-ui-terminal.css +++ b/libs/remix-ui/terminal/src/lib/remix-ui-terminal.css @@ -71,10 +71,7 @@ element.style { font-family : monospace; } .remix_ui_terminal_search { - width : 330px; - padding-left : 20px; - padding-top : 1px; - padding-bottom : 1px; + width : 19rem; } .remix_ui_terminal_filter { height : 80%;