resuscitate Vert.png as vert2.png

[features.git] / src / frontends / qt4 / GuiToolbar.cpp

diff --git a/src/frontends/qt4/GuiToolbar.cpp b/src/frontends/qt4/GuiToolbar.cpp
index 2c90b17f9334b522b9c81c1661157d7c7559cddf..f7f5e4a1b93256112e64b867daf7a553930aa521 100644 (file)
--- a/src/frontends/qt4/GuiToolbar.cpp
+++ b/src/frontends/qt4/GuiToolbar.cpp
@@ -142,7 +142,8 @@ PngMap sorted_png_map[] = {
        { "nvDash", "nvdash2" },
        { "textrm \\AA", "textrm_AA"},
        { "textrm \\O", "textrm_O"},
-       { "vDash", "vdash2" }
+       { "vDash", "vdash2" },
+       { "Vert", "vert2" }
 };
 
 size_t const nr_sorted_png_map = sizeof(sorted_png_map) / sizeof(PngMap);