Skip to content

feat: more spinners#11

Merged
mosteo merged 3 commits intomasterfrom
feat/spinners
Jan 31, 2026
Merged

feat: more spinners#11
mosteo merged 3 commits intomasterfrom
feat/spinners

Conversation

@mosteo
Copy link
Member

@mosteo mosteo commented Jan 31, 2026

No description provided.

@mosteo mosteo marked this pull request as ready for review January 31, 2026 10:29
Copilot AI review requested due to automatic review settings January 31, 2026 10:29
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

This PR enhances the Simple_Logging library by making spinners customizable. Previously, spinners were hardcoded with two variants (ASCII and Unicode). Now users can choose from multiple predefined spinners or provide their own custom spinner animations.

Changes:

  • Added a new Simple_Logging.Spinners child package with 8 predefined spinner definitions (Classic, Braille_6, Braille_8, Clocks, Halves, Moon, Quarters, Squares, Triangles)
  • Refactored the Activity function to accept a customizable Spinner parameter, allowing per-activity spinner selection
  • Moved spinner-related state from global variables into the Ongoing record structure

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 7 comments.

File Description
src/simple_logging.ads Added Any_Spinner type, Default_Spinner function, and new Spinner parameter to Activity function; restructured Ongoing record to include per-instance spinner state
src/simple_logging.adb Removed hardcoded spinner arrays; implemented spinner selection logic in Activity; refactored Build_Status_Line to use instance-specific spinners
src/simple_logging-spinners.ads New child package providing 8 predefined spinner definitions for ASCII and Unicode environments

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@mosteo mosteo merged commit 2dd29b1 into master Jan 31, 2026
5 checks passed
@mosteo mosteo deleted the feat/spinners branch January 31, 2026 11:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant