diff --git a/development/scons/scons_manifest.py b/development/scons/scons_manifest.py index b5fe87d36f..009d7c4d8b 100644 --- a/development/scons/scons_manifest.py +++ b/development/scons/scons_manifest.py @@ -1496,7 +1496,6 @@ lib_images_math_files = Split(''' Re.png Rrightarrow.png Rsh.png - Vert.png Vvdash.png acute.png aleph.png @@ -1970,6 +1969,7 @@ lib_images_math_files = Split(''' vee.png veebar.png vert.png + vert2.png vphantom.png wedge.png widehat.png diff --git a/lib/Makefile.am b/lib/Makefile.am index be0db071e2..cb5ad6ddbe 100644 --- a/lib/Makefile.am +++ b/lib/Makefile.am @@ -870,8 +870,8 @@ dist_imagesmath_DATA = \ images/math/vec.png \ images/math/vee.png \ images/math/veebar.png \ - images/math/Vert.png \ images/math/vert.png \ + images/math/vert2.png \ images/math/vphantom.png \ images/math/wedge.png \ images/math/widehat.png \ diff --git a/lib/images/math/vert2.png b/lib/images/math/vert2.png new file mode 100644 index 0000000000..3bc9fab5ab Binary files /dev/null and b/lib/images/math/vert2.png differ diff --git a/src/frontends/qt4/GuiToolbar.cpp b/src/frontends/qt4/GuiToolbar.cpp index 2c90b17f93..f7f5e4a1b9 100644 --- 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);