enable-experiment/gray-selection-highlight

Enable an experiment where the selection will be replaced with a gray highlight when the editor loses focus and the selection turns inactive. This is an experiment because some browsers show this gray selection differently.

This experiment is enabled by default.