From a168e9abc9de0fb0aa5d1807f20de5bae21a2d2f Mon Sep 17 00:00:00 2001 From: Erdem Ozgen Date: Mon, 1 Aug 2022 01:47:14 +0300 Subject: [PATCH] add line numbers for playpen fixes #1593 --- book.toml | 1 + 1 file changed, 1 insertion(+) diff --git a/book.toml b/book.toml index 19db456b6d..61fb4057ff 100644 --- 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