Full rebase of Marco's changes
Compare changes
- Marco Ammon authored
+ 96
− 43
@@ -182,13 +182,19 @@
@@ -285,8 +291,16 @@
@@ -529,9 +543,83 @@
@@ -546,43 +634,7 @@
@@ -610,7 +662,8 @@
This mr contains the missing parts of marco's changes in !10 (closed) that were not included into !11 (merged).
In addition to !11 (merged), it adds the following portions:
As noted in !11 (merged), I do not recommmend merging those. IRC-discussion indicates that for minted, the preferred option would be to include it, but only conditionally with an explicit toggle (default being: use lstlistings). Volunteers that want to implement this are welcome.
Thus this MR thus fully superseeds !6 (closed), !8 (closed), !9 (closed) and !10 (closed), and extends !11 (merged).