Svelte: Increase search suggestions font size (#62724)

Increase search suggestions font size.
This commit is contained in:
Taiyab Raja 2024-05-16 20:07:03 +01:00 committed by GitHub
parent 50f13cd418
commit 4b91a49999
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 15 additions and 11 deletions

View File

@ -7,10 +7,11 @@
</script>
<script lang="ts">
import Icon from '$lib/Icon.svelte'
import { type Option, type Action, RenderAs } from '$lib/branded'
import SyntaxHighlightedQuery from '../SyntaxHighlightedQuery.svelte'
import Icon from '$lib/Icon.svelte'
import EmphasizedLabel from '../EmphasizedLabel.svelte'
import SyntaxHighlightedQuery from '../SyntaxHighlightedQuery.svelte'
export let option: Option
export let groupIndex: number
@ -96,7 +97,7 @@
padding: 0.25rem 0.5rem;
border-radius: var(--border-radius);
font-family: var(--code-font-family);
font-size: 0.75rem;
font-size: var(--code-font-size);
min-height: 1.5rem;
gap: 0.25rem;
@ -174,7 +175,7 @@
.filter-option {
font-family: var(--code-font-family);
font-size: 0.75rem;
font-size: var(--code-font-size);
display: flex; // to remove whitespace around the filter parts
.separator {

View File

@ -1,13 +1,16 @@
<script lang="ts">
import { getSuggestionsState, type Option, type Group, type Action } from '$lib/branded'
import { EditorView } from '@codemirror/view'
import SuggestionOption from './SuggestionOption.svelte'
import { createEventDispatcher, tick } from 'svelte'
import { isSafari } from '@sourcegraph/common/src/util'
import Icon from '$lib/Icon.svelte'
import { mdiInformationOutline } from '@mdi/js'
import ActionInfo from './ActionInfo.svelte'
import { createEventDispatcher, tick } from 'svelte'
import { isSafari } from '@sourcegraph/common/src/util'
import { getSuggestionsState, type Option, type Group, type Action } from '$lib/branded'
import { restrictToViewport } from '$lib/dom'
import Icon from '$lib/Icon.svelte'
import ActionInfo from './ActionInfo.svelte'
import SuggestionOption from './SuggestionOption.svelte'
const dispatch = createEventDispatcher<{ select: { option: Option; action: Action } }>()
@ -146,7 +149,7 @@
// group header
[role='presentation'] {
color: var(--text-muted);
font-size: 0.75rem;
font-size: var(--code-font-size);
font-weight: 500;
margin-bottom: 0.25rem;
padding: 0 0.5rem;