• Joined on 2021年05月16日
Amanieu pushed to wip at Amanieu/housekeeping 2026年04月19日 02:26:20 +02:00
449cb53817 Replace strict_del with a normal subtraction
Amanieu pushed to wip at Amanieu/housekeeping 2026年04月19日 02:24:35 +02:00
f586afb4bf Add a cleanup bit to the schedule
Amanieu pushed to wip at Amanieu/housekeeping 2026年04月17日 17:56:12 +02:00
9ecbfadb34 Remove Leaving in favor of directly returning LastLeaving
Amanieu pushed to wip at Amanieu/housekeeping 2026年04月11日 00:42:29 +02:00
b49e0d4b2f Simplify tracking of batches to cleanup
6017ea8308 Add const and #[inline] to various methods
ccdf895d27 Add benchmarks
Compare 3 commits »
Amanieu created branch wip in Amanieu/housekeeping 2026年04月10日 23:29:24 +02:00
Amanieu pushed to wip at Amanieu/housekeeping 2026年04月10日 23:29:24 +02:00
3c759377fa Add const and #[inline] to various methods
577f5adeb9 bench WIP
9d72593388 Add benchmarks
7922d6d826 Use compare_exchange_weak
a80931a70d Add a Phase type which has efficient prev/next methods
Compare 5 commits »
Amanieu created repository Amanieu/housekeeping 2026年04月10日 23:27:41 +02:00
Amanieu commented on issue dnkl/foot#787 2021年11月22日 16:08:15 +01:00
Scrollback multiplier also applies to alternate screen

The problem with mouse support in less is that it removes the ability to select text with the mouse for copying.

Amanieu commented on issue dnkl/foot#787 2021年11月22日 15:40:01 +01:00
Scrollback multiplier also applies to alternate screen

I actually preferred the old behavior since I use mouse scrolling with less. Without the multiplier the scroll speed is unbearably slow: I need to swipe my touchpad ~10 times just to scroll through...

Amanieu opened issue dnkl/foot#522 2021年05月16日 14:04:02 +02:00
Crash in csi_dispatch