Remove semicolon at end of line setting from code formatting widget

We don’t want this option shown to users.
Fixes #671