Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[WIP] UI improvements for structural editor #32

Merged
merged 9 commits into from
Oct 6, 2021
Merged

[WIP] UI improvements for structural editor #32

Show file tree
Hide file tree
Changes from 6 commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
342077f
Use std::fmt for centering, add labels for halves
ThePuzzlemaker Oct 1, 2021
acdc02d
Fix rule index (off-by-one errors go brrr)
ThePuzzlemaker Oct 1, 2021
ef87dc3
Switch from termion to crossterm
brightly-salty Oct 1, 2021
cb77418
Fix code for new AST, make pretty_rule use &[Term] instead of Vec<Term>
ThePuzzlemaker Oct 5, 2021
396ea29
Rebase and fix
ThePuzzlemaker Oct 5, 2021
b956b37
Add failing interactive mode
brightly-salty Oct 5, 2021
bade5dc
Improve interactive rewriter
ThePuzzlemaker Oct 6, 2021
62b5a0b
Fix prelude + mlatu.pl
ThePuzzlemaker Oct 6, 2021
5ceeb79
Add CLI + standardize keybindings
brightly-salty Oct 6, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 0 additions & 2 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,6 @@
debug/
target/

Cargo.lock

**/*.rs.bk

.pdb
Loading