Bram28 / LEGUP

Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
GNU Affero General Public License v3.0
2 stars 8 forks source link

Case Rule #63

Closed Bram28 closed 9 years ago

Bram28 commented 9 years ago

While choosing the cell for default application of case rule (which turns cells blue), the user can select other rules instead, messing things up: this should not be possible: either the user indicates the cell on which the case rule will be applied, or the user deletes the transition node just added to abort the process.