highlight border on selected tab in tabs overview

Authored by Rinigus Saar <rinigus.git@gmail.com> on Mar 29 2020, 2:12 AM.

Description

highlight border on selected tab in tabs overview

Details

Committed
jbbgameichMar 29 2020, 2:12 AM
Parents
R23:19e1218f56cc: GIT_SILENT made messages (after extraction)
Branches
Unknown
Tags
Unknown