Closed vazquez closed 8 years ago
Fixes #864
This technically solves the issue, but why does that have the class editor-options in the first place?
editor-options
Fixes #864