anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2024-12-22 13:18:28 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Let math mu skips scale with zoom

Browse Source
This commit is contained in:
Guillaume Munch 2016-11-20 23:41:36 +01:00
parent a42c315e79
commit fdd09d6f51
2 changed files with 12 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
src/mathed/MathSupport.cpp
View File

@ -15,6 +15,7 @@
#include "InsetMathFont.h" #include "InsetMathFont.h"
#include "InsetMathSymbol.h" #include "InsetMathSymbol.h"
#include "Length.h"
#include "MathData.h" #include "MathData.h"
#include "MathParser.h" #include "MathParser.h"
#include "MathStream.h" #include "MathStream.h"
@ -533,25 +534,15 @@ int mathed_font_em(FontInfo const & font)
* above. * above.
*/ */
int mathed_thinmuskip(FontInfo font) int mathed_mu(FontInfo const & font, double mu)
{ {
font.setFamily(SYMBOL_FAMILY); MetricsBase mb(nullptr, font);
return support::iround(3.0 / 18 * theFontMetrics(font).em()); return Length(mu, Length::MU).inPixels(mb);
} }
int mathed_thinmuskip(FontInfo const & font) { return mathed_mu(font, 3.0); }
int mathed_medmuskip(FontInfo font) int mathed_medmuskip(FontInfo const & font) { return mathed_mu(font, 4.0); }
{ int mathed_thickmuskip(FontInfo const & font) { return mathed_mu(font, 5.0); }
font.setFamily(SYMBOL_FAMILY);
return support::iround(4.0 / 18 * theFontMetrics(font).em());
}
int mathed_thickmuskip(FontInfo font)
{
font.setFamily(SYMBOL_FAMILY);
return support::iround(5.0 / 18 * theFontMetrics(font).em());
}
int mathed_char_width(FontInfo const & font, char_type c) int mathed_char_width(FontInfo const & font, char_type c)

8
src/mathed/MathSupport.h
View File

@ -31,11 +31,13 @@ class latexkeys;
int mathed_font_em(FontInfo const &); int mathed_font_em(FontInfo const &);
int mathed_thinmuskip(FontInfo font); int mathed_mu(FontInfo const & font, double mu);
int mathed_medmuskip(FontInfo font); int mathed_thinmuskip(FontInfo const & font);
int mathed_thickmuskip(FontInfo font); int mathed_medmuskip(FontInfo const & font);
int mathed_thickmuskip(FontInfo const & font);
int mathed_char_width(FontInfo const &, char_type c); int mathed_char_width(FontInfo const &, char_type c);