extend-repo-tabs - New feature - #9902
Conversation
clean-repo-tabs - Restore feature WIPextended-repo-tabs - New feature
| repository(owner: $owner, name: $name) { | ||
| projects { | ||
| totalCount | ||
| } |
There was a problem hiding this comment.
| } | ||
| } | ||
| .demoted:nth-child(1 of .demoted) { | ||
| margin-left: 16px; |
There was a problem hiding this comment.
Adds some spacing so they look detached
| if (count > 0) { | ||
| overrideTab('wiki', {counter: writable(count)}); | ||
| } else { | ||
| overrideTab('wiki', {demoted: true}); |
There was a problem hiding this comment.
Has wiki
No wiki
https://github.com/babel/babel-sublime-snippets/wiki
If selected, still demoted but labelled:
| } | ||
|
|
||
| function init(): void { | ||
| overrideTab('pull-requests', {label: 'Pulls'}); |
There was a problem hiding this comment.
Hopefully this isn't controversial. It does help reduce the length of the nav
There was a problem hiding this comment.
FWIW I was a bit confused by this label 😅
if this is only about the length then how about using "PRs" instead?
| if (projects > 0) { | ||
| overrideTab('projects', {counter: writable(projects)}); | ||
| } else { | ||
| overrideTab('projects', {demoted: true}); |
There was a problem hiding this comment.
extended-repo-tabs - New featureextend-repo-tabs - New feature
| { | ||
| "id": "extend-repo-tabs", | ||
| "description": "Collapses repository tabs if rarely used (Insights, Security) or when empty (Projects, Wiki, Actions). It also adds counters to Projects and Wiki.", | ||
| "screenshot": "https://github.com/user-attachments/assets/e7fa93ff-fc01-410d-b4da-f1fb96a85326" |
There was a problem hiding this comment.
The name is no longer "clean" because it does a number of things. It's also possible that we'll add more tabs to the nav, like more-dropdown-links used to do, depending on how this whole thing is received.
| {#if tab.tooltip} | ||
| <Tooltip id="{id}-tooltip" htmlFor={id} label={tab.tooltip} /> | ||
| {#if tooltip} | ||
| <Tooltip |
There was a problem hiding this comment.
Side note: tooltips might have issues. Sometimes they're not showing up :(
clean-repo-tabs- Drop feature #9550clean-repo-tabs#9842addresses Hide "Agents" tab #8977(we can try later)Note: this feature most likely won't receive support for org/user pages like the old one did. If
extensible-navever supports those pages, it would likely have a dedicatedextend-USER-tabsfeature.Test URLs
Screenshot