From deabee94668eda6b659b55785441335e431b8a2d Mon Sep 17 00:00:00 2001 From: Tao Tien <29749622+taotien@users.noreply.github.com> Date: Wed, 25 Feb 2026 21:08:45 -0800 Subject: [PATCH] (stash) --- jong/src/tui.rs | 1 + jong/src/tui/render.rs | 2 ++ spacetime.json | 1 - 3 files changed, 3 insertions(+), 1 deletion(-) diff --git a/jong/src/tui.rs b/jong/src/tui.rs index 6b17733..ce195ee 100644 --- a/jong/src/tui.rs +++ b/jong/src/tui.rs @@ -107,6 +107,7 @@ fn discard_tile( tiles: Query<&TileId>, ) { // FIXME why is this not consuming the messages? + // TODO disable this when we're not current player? while let Some(message) = selected.read().next() { if let Ok(tile_id) = tiles.get(message.0) { stdb.reducers().discard_tile(tile_id.0).unwrap(); diff --git a/jong/src/tui/render.rs b/jong/src/tui/render.rs index 9163e09..be3e717 100644 --- a/jong/src/tui/render.rs +++ b/jong/src/tui/render.rs @@ -301,3 +301,5 @@ pub(crate) fn render_main_pond( Ok(()) } + +pub(crate) fn render_other_hands() {} diff --git a/spacetime.json b/spacetime.json index 339050e..865cbce 100644 --- a/spacetime.json +++ b/spacetime.json @@ -2,7 +2,6 @@ "dev": { "run": "" }, - "_source-config": "spacetime.local.json", "module-path": "jong-line", "server": "local", "database": "jong-line"