I added getter/setter functions to follow the pattern of the other editor options, but none of these seem to be used:
* not part of Editor object
* not used privately
* not exported by Editor module

Maybe these should all be removed -- @dangoor?