@chrispetsos here's the link to the pull request: https://github.com/chrispetsos/prefsEditors/pull/3