2 commits

Author	SHA1	Message	Date
Julian Orth	ec9710983c	tree: use trunc instead of round when scrolling containers	2022-05-07 18:06:55 +02:00
Julian Orth	fca7c7e1d2	tree: focus container mono child after scroll	2022-05-07 14:24:06 +02:00