+ ‘theming/experiments/gedit-tabs-whitespace-as-separator.png’