Partial fox for bug #6622: Display \undertilde on screen correctly.

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@38636 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
Georg Baum 2011-05-08 10:23:56 +00:00
parent 32f6c066cc
commit 467bf135e9
5 changed files with 9 additions and 0 deletions

View File

@ -2074,6 +2074,7 @@ lib_images_math_files = Split('''
underrightarrow.png
underscore.png
underset.png
undertilde.png
uparrow.png
uparrow2.png
updownarrow.png

View File

@ -936,6 +936,7 @@ dist_imagesmath_DATA = \
images/math/underrightarrow.png \
images/math/underscore.png \
images/math/underset.png \
images/math/undertilde.png \
images/math/uparrow.png \
images/math/uparrow2.png \
images/math/updownarrow.png \

View File

@ -26,6 +26,10 @@ underleftarrow decoration none amsmath
underleftrightarrow decoration none amsmath
underline decoration none
underrightarrow decoration none amsmath
#Do not load automatically, it redefines some other symbols, and we don't
#have a possibility to turn automatic loading off like for ams
#undertilde decoration none accents
undertilde decoration none
#Do not load automatically, since it might conflict with user macros and we
#don't have a possibility to turn automatic loading off like for ams
#utilde decoration none undertilde

View File

@ -94,6 +94,7 @@ bool InsetMathDecoration::wide() const
key_->name == "underleftarrow" ||
key_->name == "underrightarrow" ||
key_->name == "underleftrightarrow" ||
key_->name == "undertilde" ||
key_->name == "utilde";
}
@ -205,6 +206,7 @@ namespace {
// this is the macron, again, but it works
t["underline"] = Attributes(false, "¯");
t["underrightarrow"] = Attributes(false, "⟶");
t["undertilde"] = Attributes(false, "∼");
t["utilde"] = Attributes(false, "∼");
t["vec"] = Attributes(true, "→");
t["widehat"] = Attributes(true, "^");

View File

@ -287,6 +287,7 @@ named_deco_struct deco_table[] = {
{"underleftarrow", arrow, 1 },
{"underrightarrow", arrow, 3 },
{"underleftrightarrow", udarrow, 1 },
{"undertilde", tilde, 0 },
{"utilde", tilde, 0 },
// Delimiters