From aa39a2aaf7d2175bdcf423d3d3d22c93588c5c20 Mon Sep 17 00:00:00 2001 From: Richard Kimberly Heck Date: Sat, 5 Dec 2020 21:17:02 -0500 Subject: [PATCH] Allow listings insets to be edited externally. --- lib/layouts/stdinsets.inc | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/layouts/stdinsets.inc b/lib/layouts/stdinsets.inc index 8ebf2c709c..e4fec96613 100644 --- a/lib/layouts/stdinsets.inc +++ b/lib/layouts/stdinsets.inc @@ -368,6 +368,7 @@ InsetLayout Listings ForcePlain true NeedCProtect true RefPrefix lst + EditExternal true HTMLTag pre HTMLStyle div.float-listings { -- 2.39.5