💾 Archived View for bbs.geminispace.org › u › TheSpoonCarver › 2876 captured on 2023-07-22 at 18:15:47. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
Re: "Configuration tricks, tips, etc."
I'm trying to weed myself off of the plugins like easymotion that allow you to jump to any character on screen in just a few taps. Instead, I've been trying to use search offsets more, so /foo/1 goes to the line after foo, or /foo/e+5 goes to 5 characters to the right of foo
2023-07-06 · 2 weeks ago
@TheSpoonCarver Thanks for the tip. I didn't knew such a feature existed. I will check it out.
Configuration tricks, tips, etc.