Add option to rename a saved badge

[bhavjsh]

Problem

There's no way to rename an already-saved badge. Users must re-save under a new name and delete the old one.

Current state

• Saved badge cards (save_badge_card.dart) only support play, edit (content only), transfer, share, and delete. FileHelper has no rename method.

Related bug found: Multi-select via long-press doesn't actually work. In saved_badge_listview.dart, SaveBadgeCard is passed onLongPress/onTap correctly, but in save_badge_card.dart those fields are never wired to a GestureDetector/InkWell, so the callbacks never fire. The isSelected field is also unused (no visual highlight).

[xar43]

Hi, thanks for this detailed issue report! I've analysed the codebase and confirmed both problems:

Rename Option: FileHelper currently lacks a renameBadge method. The fix is to add one that calls File.rename(), updates BadgeTextStorage (which already has a moveOriginalText helper ready), and refreshes the in-memory savedBadgeCache. I'll also add a small RenameBadgeDialog widget and surface this option via an Icons.drive_file_rename_outline icon button on each card.

Long-press Multi-select: SaveBadgeCard's root widget is a bare Container, which is why the onLongPress/onTap callbacks passed from BadgeListView are being silently ignored. Wrapping the root in an InkWell and checking the isSelected state to toggle the card border/background colour will fix both the gesture handling and the missing visual feedback.

I'm already working on a PR that addresses both issues together. Will share it shortly!

[xar43]

Thanks for the guidance, @bhavjsh As planned, I have implemented the badge renaming feature and fixed the broken long-press multi-select functionality.

I have also cleaned up the commit history to keep everything organized in a single, clean commit.

I've opened the pull request for this here: #<#1789>

Please take a look when you get a chance. Looking forward to your feedback! 🙌