search

tmesser / DeckManager

BSD 3-Clause "New" or "Revised" License
5 stars 2 forks source link

Draw cards button draws cards after being disabled #11

Closed clanpotshake closed 9 years ago

clanpotshake commented 9 years ago

In player management, the checkbox and dropdowns all start enabled. If you manually check and then uncheck the box it disables the dropdowns.

If you set the dropdowns to add cards, they will be added regardless of whether the checkbox is checked or not.

If you set it to add any number of blank there's an unhandled exception. (Drawing blank of does not do this)

tmesser commented 9 years ago

Bad precondition and postcondition checking in a few spots. Good catch.