- fix metrics of the dots of \ddddot
- whitespace fixes
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@35231
a592a061-630c-0410-9148-
cb99ea01b6c8
double const ddot[] = {
- 1, 0.2, 0.5, 0.3, 0.5,
- 1, 0.7, 0.5, 0.8, 0.5,
+ 1, 0.2, 0.5, 0.3, 0.5,
+ 1, 0.7, 0.5, 0.8, 0.5,
0
};
double const dddot[] = {
- 1, 0.1, 0.5, 0.2, 0.5,
+ 1, 0.1, 0.5, 0.2, 0.5,
1, 0.45, 0.5, 0.55, 0.5,
- 1, 0.8, 0.5, 0.9, 0.5,
+ 1, 0.8, 0.5, 0.9, 0.5,
0
};
double const ddddot[] = {
- 1, 0.0, 0.5, 0.1, 0.5,
- 1, 0.3, 0.5, 0.4, 0.5,
- 1, 0.6, 0.5, 0.7, 0.5,
- 1, 0.9, 0.5, 1.0, 0.5,
+ 1, 0.1, 0.5, 0.2, 0.5,
+ 1, 0.45, 0.5, 0.55, 0.5,
+ 1, 0.8, 0.5, 0.9, 0.5,
+ 1, 1.15, 0.5, 1.25, 0.5,
0
};