21
In search of a non-electron text editor that can fold | Are emacs and (neo)vim my only options?
(discuss.online)
The following gif demonstrates folding:
this post was submitted on 12 Jun 2025
21 points (95.7% liked)
Linux
7891 readers
324 users here now
A community for everything relating to the GNU/Linux operating system
Also check out:
Original icon base courtesy of lewing@isc.tamu.edu and The GIMP
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
The screenshot is from my desktop with wide enough screen on Lemmy web (programming.dev).
The issue is one of scaling.
When I open the image without being resized into the website layout, it has the following visual pattern:
When I zoom out to 50% it looks (almost?) fine
Did you scale the source with ffmpeg? Do you have a visual pattern in your console background? The simplest solution would be to have a solid color as background. The second best to render a small enough size that it does not get resized in the browser.
At 1920x1038, it's very big right now. I'm surprised the font is big enough to be readable. I assume you scaled it up or have a high dpi display resulting in this.
Thank you so much for this! Hopefully I'm not bothering you with this*.
I'm not entirely sure, but I don't think I did. The invoked command was the following:
❯ ffmpeg -i input.mp4 output.gifI don't think I do. It doesn't look like it at least. To be clear, even on my laptop I notice the visual pattern visible in the gif. But that's totally absent when I'm working within Emacs. Or at least, it looks as if it's just a singular solid color.
Hmm..., makes sense. Not a huge fan, though 😅. Hopefully I can solve it through other means instead.
Yup. For the sake of readability*. But the upscaling (or rather zooming in*) was done natively within Emacs.
Alright, so I went to do some digging and the pattern only starts to show up in the gif. Perhaps as a result of the smaller color palette*. Regardless, I tried to see if it is solved by simply generating a 'better' palette and using it as a filter of sorts. Furthermore, in case that wasn't enough, I also tried playing with different dither algorithms:
Does any one of the above gifs do better?