nandi/jolt-native · 70072e8

⑂ 70072e8

Bound a fill-height region by :reserve

Everything from the cursor to the bottom of the window is too much when
something has to come after it: a fill-height column takes the whole
remainder and pushes the row below it — a compose bar under a message list
— against the bottom edge, whatever margin that row asked for. `:scroll`
already takes the number the caller actually knows; fill-height takes it
now too.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

nandi committed 2026-08-30T19:20:15-07:00 Browse files

70072e8 parent: fa4ecdf

modified crates/jolt-vidya/src/tree.rs +9 -1 Viewed

@@ -805,8 +805,16 @@ impl Tree {
805	805	// scrolling list inside it gets no room. `:fill-height` measures
806	806	// against what is visible below the cursor instead, the way `:scroll`
807	807	// does: everything from here to the bottom of the window.
	808	+ //
	809	+ // And `:reserve` bounds it the way it bounds a `:scroll`, for the same
	810	+ // reason: everything to the bottom of the window is too much when
	811	+ // something has to come after it. A column that takes the whole
	812	+ // remainder pushes the row below it — a compose bar under a message
	813	+ // list — against the bottom edge, whatever margin that row asked for.
	814	+ // The number is what the caller knows: the height of what follows.
808	815	let height = if fill_height {
809		- (ui.clip_rect().bottom() - ui.cursor().top()).max(0.0)
	816	+ let reserve = props.num("reserve", 0.0) as f32;
	817	+ ((ui.clip_rect().bottom() - ui.cursor().top()) - reserve).max(0.0)
810	818	} else {
811	819	ui.available_height().max(0.0)
812	820	};

          // scrolling list inside it gets no room. `:fill-height` measures
          // against what is visible below the cursor instead, the way `:scroll`
          // does: everything from here to the bottom of the window.
++        //
++        // And `:reserve` bounds it the way it bounds a `:scroll`, for the same
++        // reason: everything to the bottom of the window is too much when
++        // something has to come after it. A column that takes the whole
++        // remainder pushes the row below it — a compose bar under a message
++        // list — against the bottom edge, whatever margin that row asked for.
++        // The number is what the caller knows: the height of what follows.
          let height = if fill_height {
--            (ui.clip_rect().bottom() - ui.cursor().top()).max(0.0)
++            let reserve = props.num("reserve", 0.0) as f32;
++            ((ui.clip_rect().bottom() - ui.cursor().top()) - reserve).max(0.0)
          } else {
              ui.available_height().max(0.0)
          };