• anugeshtu@lemmy.world
    link
    fedilink
    arrow-up
    3
    ·
    20 hours ago

    What about some scrollable window with something like 10k+ lines, though? Sure, if you have a mouse with a free-spinning function, it’s still doable, but a draggable scrollbar comes in handy then.

    • poinck@lemmy.world
      link
      fedilink
      arrow-up
      1
      ·
      11 hours ago

      Maybe a smart way to handle that would be to show a wide scrollbar when there is so much content? Idk.

      I would probably expect filters that are always visible regardless at which line I am currently. Sadly, this isn’t the case very often and I have to go back to the top and apply the filters.