Publish GitHop prompt records and space the Prompts tab label

Hop-State: A_06FN82GSYZVJMDTTZ3Q0NBG
Hop-Proposal: R_06FN82F935KCS76N3W8G61R
Hop-Task: T_06FN81VCJ19AK73YNFEFK3R
Hop-Attempt: AT_06FN81VCJ2T1EHWHQTR0TX0
This commit is contained in:
Hop
2026-07-11 18:56:15 -07:00
parent 11b75c7665
commit 077035fa84
5 changed files with 27 additions and 3 deletions
@@ -1,3 +1,7 @@
.hop-native-prompts-tab svg {
margin-right: 0.4rem;
}
.hop-prompts {
margin: 0 auto;
max-width: 1080px;
+1 -1
View File
@@ -131,7 +131,7 @@
link.className = tasks.className;
link.classList.add('hop-native-prompts-tab');
link.append(promptsIcon());
link.append(document.createTextNode(' Prompts'));
link.append(document.createTextNode('Prompts'));
navigation.insertBefore(link, tasks);
}
link.href = href;