upd: looks better than small circle

This commit is contained in:
Insert5StarName 2023-10-01 00:49:30 +02:00
parent b50c1ef9a5
commit 687c33c73f
3 changed files with 3 additions and 3 deletions

View file

@ -548,7 +548,7 @@ let q = $ref('');
function getPriorityIcon(option) {
if (option.priority === 2) return 'ph-arrow-up ph-bold ph-lg';
if (option.priority === 1) return 'ph-arrow-up ph-bold ph-lg';
return 'ph-dot-outline ph-bold pg-lg';
return 'ph-circle ph-bold pg-lg';
}
function matchQuery(keywords: string[]): boolean {