Fix problem with Selection.js breaking select-all feature in editor widgets