Comment on Tabs are objectively better than spaces - gomakethings.com
eee@lemm.ee 9 months agoGreat, no scrolling through thousands of lines to find the right one!
Comment on Tabs are objectively better than spaces - gomakethings.com
eee@lemm.ee 9 months agoGreat, no scrolling through thousands of lines to find the right one!
sekhat@lemmy.temporus.me 9 months ago
Scrolling to a line number seems inefficient.