[patch] Bug 3723: Cannot clear global listings parameters set in TextLayout->Listings Parameters.

[Jürgen Spitzmüller]

http://bugzilla.lyx.org/show_bug.cgi?id=3723

attached.

Jürgen

Index: src/Buffer.cpp
===================================================================
--- src/Buffer.cpp	(Revision 18506)
+++ src/Buffer.cpp	(Arbeitskopie)
@@ -427,6 +427,7 @@
 	params().headheight.erase();
 	params().headsep.erase();
 	params().footskip.erase();
+	params().listings_params.clear();
 	for (int i = 0; i < 4; ++i) {
 		params().user_defined_bullet(i) = ITEMIZE_DEFAULTS[i];
 		params().temp_bullet(i) = ITEMIZE_DEFAULTS[i];