Skip to content

Conversation

@TobTheRock
Copy link
Collaborator

I have extended the status bar with:

  • Pinned Nodes
    • Nodes are label either a or b after pinning
    • Nodes are highlighted on mouseover over the revision in the bar
    • Clearing of pinned nodes, either all or by toggling
  • Restore bottom: in case a revision was checked out

The old panel on the left side was obliterated.

recording_2025-08-26_22-33-59.mp4

Needs merge of #106
Close #107

@TobTheRock TobTheRock added enhancement New feature or request frontend This affects the frontend labels Aug 26, 2025
<TooltipTrigger asChild>
<Button
disabled={pinnedGitRevisions[1] === null}
variant="secondary"
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

should we make it primary to make it visually pop out more?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It did pop out too much as primary for my taste.
As there are potential quite some bottoms in the bar, I liked it too blend in a bit

TobTheRock and others added 12 commits August 31, 2025 23:10
We need to create a new array ref so zustands useShallow detects the
change. Also I have added cycling the pinnedNodes.
Now we can also remove the old panel
- Fix git-dialog.tsx by passing full GitMetadata objects to formatGitRevision instead of just rev strings
- Convert PinnedState enum to const assertion pattern for compatibility with erasableSyntaxOnly

🤖 Generated with [Claude Code](https://claude.ai/code)

Co-Authored-By: Claude <[email protected]>
@TobTheRock TobTheRock force-pushed the tobtherock/107-highlight-nodes branch from 55968f0 to db7dae3 Compare August 31, 2025 21:10
@TobTheRock TobTheRock merged commit c96a57a into main Sep 1, 2025
12 checks passed
@TobTheRock TobTheRock deleted the tobtherock/107-highlight-nodes branch September 1, 2025 19:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request frontend This affects the frontend

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Highlight pinned nodes

3 participants