add line numbers for playpen fixes #1593 (#1594)

rust-lang · Aug 10, 2022 · 0685f67 · 0685f67
1 parent 311f669
commit 0685f67
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/book.toml b/book.toml
@@ -6,6 +6,7 @@ author = "The Rust Community"
 [output.html.playpen]
 editable = true
 editor = "ace"
+line-numbers = true
 
 [output.html.fold]
 enable = true