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.

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

Resolve puzzle-editor merge conflicts #193

Merged
merged 102 commits into from
Jul 16, 2022
Merged

Conversation

mattsweet417
Copy link
Collaborator

No description provided.

deShortOne and others added 30 commits June 5, 2022 14:57
Closes #121 - requested changes implemented. If an input is 'ungradeable' then no score will be given in the .csv
[WIP] #106 changed redo from ctrl+y to ctrl+shift+z
Removed artificial splash screen delay; passed testing
Fixed EmptyField, LastCampingSpot, and TouchingTents rules
This reverts commit 91c88c6.
This reverts commit 765ef0a, reversing
changes made to 91c88c6.
Accidentally change to gradle 7.3.1 by VSC.
charlestian23 and others added 25 commits June 24, 2022 13:35
faster than before
…ttleshipBoard` and `BattleshipType`. Also revised some JavaDoc comments for better clarity and easier readability.
Implement fill in row, make some fixes for no tree for tent
Update LegupUI.java issue 167
Battleship Enums Changed and Revised JavaDoc Comments
 - Implementation
 - Incomplete test

 Also some JavaDoc revisions.
Commented out debugging print statement to make console output more readable
already increase the speed of all three kinds of rule
Issue 114: Zoom Window Bug for Slider FIXED
Battleship: Adjacent Ships Contradiction Rule
Fixes for TreeTent rules not dependent on links
@cjreed121 cjreed121 changed the base branch from dev to puzzle-editor July 16, 2022 18:27
@cjreed121 cjreed121 changed the title Puzzle editor merge into dev complete Resolve puzzle-editor merge conflicts Jul 16, 2022
@cjreed121 cjreed121 merged commit 7832065 into puzzle-editor Jul 16, 2022
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.