Comment on Tabs are objectively better than spaces - gomakethings.com
eee@lemm.ee 1 year 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 1 year agoGreat, no scrolling through thousands of lines to find the right one!
sekhat@lemmy.temporus.me 1 year ago
Scrolling to a line number seems inefficient.