Am 20.11.2015 um 00:25 schrieb Richard Heck:
On 11/19/2015 06:20 PM, Uwe Stöhr wrote:
What is the difference between verbatim and verbatim*?
The only difference is that every space in verbatim* is output as
visible space. The effect is the same as if you use the "space as
symbol" option in listings.
Also, this:
revert = [
- [501, [revert_solution]],
+ [501, [revert_solution, revert_verbatim]],
is presumably wrong. We need a new format, right?
Yes, it will be a fileformat change. When I commit I of course do this.
For just testing the proposed feature you can apply the simple patch
without to need to recompile your LyX. So without compilation you can
also test lyx2lyx reversion if you like.
regards Uwe