From d788d497aac6f11a642612e00207c50bffd1e905 Mon Sep 17 00:00:00 2001
From: Juergen Spitzmueller <spitz@lyx.org>
Date: Fri, 19 Jul 2013 15:55:56 +0200
Subject: [PATCH] Trivial fix: escape ampersands in file names before pushing
 to tab header (#8757)

---
 src/frontends/qt4/GuiWorkArea.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/frontends/qt4/GuiWorkArea.cpp b/src/frontends/qt4/GuiWorkArea.cpp
index adfaf4a1cc..024c68002c 100644
--- a/src/frontends/qt4/GuiWorkArea.cpp
+++ b/src/frontends/qt4/GuiWorkArea.cpp
@@ -1980,7 +1980,7 @@ void TabWorkArea::updateTabTexts()
 	for (It it = paths.begin(); it != paths.end(); ++it) {
 		int const tab_index = it->tab();
 		Buffer const & buf = workArea(tab_index)->bufferView().buffer();
-		QString tab_text = it->displayString();
+		QString tab_text = it->displayString().replace("&", "&&");
 		if (!buf.fileName().empty() && !buf.isClean())
 			tab_text += "*";
 		setTabText(tab_index, tab_text);