Add a minibuffer #131

Merged
wojtek merged 3 commits from 125---add-a-minibuffer into main 2024-02-10 23:26:00 +01:00

3 Commits

Author SHA1 Message Date
adbdcee58c Last fixes
All checks were successful
Cargo CI / Build and Test (pull_request) Successful in 1m42s
Cargo CI / Lint (pull_request) Successful in 1m14s
2024-02-10 23:20:46 +01:00
78fcbafc04 Decouple number of columns from paragraphs
Some checks failed
Cargo CI / Build and Test (pull_request) Successful in 1m43s
Cargo CI / Lint (pull_request) Failing after 1m15s
2024-02-10 23:17:40 +01:00
64b93c837e Functional minibuffer
All checks were successful
Cargo CI / Build and Test (pull_request) Successful in 1m42s
Cargo CI / Lint (pull_request) Successful in 1m15s
2024-02-10 23:02:45 +01:00