On Thu, 23 Oct 2025 00:06:08 -0000 (UTC), Rudis wrote:   
      
   > On Wed, 22 Oct 2025 19:09:06 -0000 (UTC), anon wrote:   
   >   
   >> On Wed, 22 Oct 2025 21:23:05 +1000, auanon wrote:   
   >>   
   >>> Also, I realized too late that an 88x31 GIF is pretty small on modern   
   >>> displays... I don't think it'd be too hard to resize it at least.   
   >>   
   >> What is this? A .gif for ants?   
   >>   
   >>> ffmpeg -i altcp-small.gif -vf   
   >> "scale=iw*3:ih*3:flags=lanczos:force_original_aspect_ratio=decrease" -   
   >> gifflags +transdiff -y altcp-larger.gif   
   >>   
   >> https://pomf2.lain.la/f/353x3s29.gif   
   >   
   > Good original scale for 800x600 screen >_<   
      
   Just change the number in that command string to multiply the initial   
   size.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)