Merge pull request #174 from robertknight/mousedown-tab-select
Select tab when the mouse is pressed
Brian Vaughn committed
Apr 18, 2019 at 08:00 UTC
08279fb3426ac003d0c0f896da6bb20c655e594c
No changes.
Select tab when the mouse is pressed
No changes.