wojtek/musichoard
1
0
Fork 0
Code Issues 12 Pull Requests Actions Packages Projects 1 Releases 2 Wiki Activity

Add a minibuffer #131

Merged
wojtek merged 3 commits from 125---add-a-minibuffer into main 2024-02-10 23:26:00 +01:00
Conversation 0 Commits 3 Files Changed 3 +179 -29
wojtek commented 2024-02-10 21:01:18 +01:00
Owner
Copy Link

Closes #125

Closes #125
wojtek added 1 commit 2024-02-10 23:02:49 +01:00
Functional minibuffer
All checks were successful
Cargo CI / Build and Test (pull_request) Successful in 1m42s
Details
Cargo CI / Lint (pull_request) Successful in 1m15s
Details
64b93c837e
wojtek added 1 commit 2024-02-10 23:17:59 +01:00
Decouple number of columns from paragraphs
Some checks failed
Cargo CI / Build and Test (pull_request) Successful in 1m43s
Details
Cargo CI / Lint (pull_request) Failing after 1m15s
Details
78fcbafc04
wojtek added 1 commit 2024-02-10 23:20:56 +01:00
Last fixes
All checks were successful
Cargo CI / Build and Test (pull_request) Successful in 1m42s
Details
Cargo CI / Lint (pull_request) Successful in 1m14s
Details
adbdcee58c
wojtek changed title from WIP: Add a minibuffer to Add a minibuffer 2024-02-10 23:25:17 +01:00
wojtek merged commit 6a18c5d9cc into main 2024-02-10 23:26:00 +01:00
wojtek deleted branch 125---add-a-minibuffer 2024-02-10 23:26:00 +01:00
wojtek referenced this issue from a commit 2024-02-10 23:26:01 +01:00
Add a minibuffer (#131)
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
blocked

Resolution is blocked on something external

  
bug

Something is not working

  
chore

Not an enhancement, not a bug, but needs doing

  
duplicate

This issue or pull request already exists

  
enabler

Not an enhancement, but enables an enhancement

  
enhancement

New feature

No Label
blocked
bug
chore
duplicate
enabler
enhancement
Milestone
Clear milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: wojtek/musichoard#131
No description provided.
Delete Branch "125---add-a-minibuffer"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?