Issue #976: add whitespace options to Whitespace Corrector Step UI

Branch: issue976

Branch: dev

Merged

#433 · Created 2020-08-31 · Last updated 2020-09-05

Merged pull request

Merged in issue976 (pull request #433)

62cab9c·Author: Chase Tingley·Closed by: Chase Tingley·2020-09-05

The whitespace options are split out into 5 boolean values for the parameters UI, but the getters and setters were never added.