Pranay Kumar
Results
2
comments of
Pranay Kumar
I have created a small extension to change font. I hope it will be helpful. In options page you can change the font. https://chrome.google.com/webstore/detail/devtools-font-changer/fikbcnlbgoafooldbkgikejejhaddajg
Hi, First feature is a good one to have. There are some open questions with the second one. There are cases where user want to actually have same caret location....