Add ui.gutter.selected
option for themes
#3303
Merged
ui.gutter.selected
option for themes
#3303