Fixes #710 Editors available in Theme have wrong width

Fixes #710