Since 3.3.5, gnome-shell offers an integrated configuration tool for extensions, which can be used by adding a new "prefs" module. Replace the old modal dialog with a new gtk dialog, which also allows to configure the new highlight-selected setting.