docs(landing): drop the duplicated idleTimeLimit
Every cast header already carries idle_time_limit 2.0; repeating it in the player config is a second answer to one question, and the one that drifts is whichever is not the cast. Found reviewing against design-principles "a derivation done twice is the defect". Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
This commit is contained in:
+3
-1
@@ -184,7 +184,9 @@ nix profile install github:fiddlerwoaroof/improvise
|
||||
AsciinemaPlayer.create(
|
||||
`./casts/${name}.cast`,
|
||||
document.getElementById(`cast-${name}`),
|
||||
{ cols: 120, rows: 37, theme: "monokai", autoPlay: false, loop: true, idleTimeLimit: 2 },
|
||||
// No idleTimeLimit: every cast header already carries 2.0, and a
|
||||
// second spelling of it here is a second answer to one question.
|
||||
{ cols: 120, rows: 37, theme: "monokai", autoPlay: false, loop: true },
|
||||
);
|
||||
}
|
||||
</script>
|
||||
|
||||
Reference in New Issue
Block a user