Fixed code formatting widget not being displayed

Fixes #716