Move dropdown arrow away from the right-hand edge

2023-09-04 15:23:21 +01:00
parent c316d52514
commit 074f3fb402
1 changed files with 1 additions and 1 deletions
--- a/extensions/ql-vscode/src/view/common/Dropdown.tsx
+++ b/extensions/ql-vscode/src/view/common/Dropdown.tsx
@@ -9,7 +9,7 @@ const StyledDropdown = styled.select<{ disabled?: boolean }>`
  height: calc(var(--input-height) * 1px);
  background: var(--vscode-dropdown-background);
  color: var(--vscode-foreground);
-  border: none;
+  border-width: 0 5px 0 0;
  padding: 2px 6px 2px 8px;
  opacity: ${(props) =>
    props.disabled ? "var(--disabled-opacity)" : "inherit"};