Skip to content

Commit f0a214e

Browse files
committed
Fix: Highlight current selection in HC theme (fixes microsoft#69077)
1 parent 4ae2f38 commit f0a214e

1 file changed

Lines changed: 8 additions & 1 deletion

File tree

src/vs/workbench/browser/parts/quickinput/quickInputList.ts

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ import { HighlightedLabel } from 'vs/base/browser/ui/highlightedlabel/highlighte
2222
import { memoize } from 'vs/base/common/decorators';
2323
import { range } from 'vs/base/common/arrays';
2424
import * as platform from 'vs/base/common/platform';
25-
import { listFocusBackground, pickerGroupBorder, pickerGroupForeground } from 'vs/platform/theme/common/colorRegistry';
25+
import { listFocusBackground, pickerGroupBorder, pickerGroupForeground, activeContrastBorder } from 'vs/platform/theme/common/colorRegistry';
2626
import { registerThemingParticipant } from 'vs/platform/theme/common/themeService';
2727
import { ActionBar } from 'vs/base/browser/ui/actionbar/actionbar';
2828
import { Action } from 'vs/base/common/actions';
@@ -596,6 +596,13 @@ registerThemingParticipant((theme, collector) => {
596596
collector.addRule(`.quick-input-list .monaco-list .monaco-list-row.focused { background-color: ${listInactiveFocusBackground}; }`);
597597
collector.addRule(`.quick-input-list .monaco-list .monaco-list-row.focused:hover { background-color: ${listInactiveFocusBackground}; }`);
598598
}
599+
const activeContrast = theme.getColor(activeContrastBorder);
600+
if (activeContrast) {
601+
collector.addRule(`.quick-input-list .monaco-list .monaco-list-row.focused { border: 1px dotted ${activeContrast}; }`);
602+
collector.addRule(`.quick-input-list .monaco-list .monaco-list-row { border: 1px solid transparent; }`);
603+
collector.addRule(`.quick-input-list .monaco-list .quick-input-list-entry { padding: 0 5px; height: 18px; align-items: center; }`);
604+
collector.addRule(`.quick-input-list .monaco-list .quick-input-list-entry-action-bar { margin-top: 0; }`);
605+
}
599606
const pickerGroupBorderColor = theme.getColor(pickerGroupBorder);
600607
if (pickerGroupBorderColor) {
601608
collector.addRule(`.quick-input-list .quick-input-list-entry { border-top-color: ${pickerGroupBorderColor}; }`);

0 commit comments

Comments
 (0)