Skip to content
This repository was archived by the owner on Sep 6, 2021. It is now read-only.

Highlight scrollbar tickmark for the current Find match #10413

Merged
prksingh merged 1 commit into from
Feb 10, 2015

Highlight scrollbar tickmark for the current Find match differently from

0a65893
Select commit
Loading
Failed to load commit list.
Merged

Highlight scrollbar tickmark for the current Find match #10413

Highlight scrollbar tickmark for the current Find match differently from
0a65893
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs
⚡