diff options
| author | nyamatongwe <unknown> | 2004-03-29 12:43:42 +0000 |
|---|---|---|
| committer | nyamatongwe <unknown> | 2004-03-29 12:43:42 +0000 |
| commit | b989664ead75d08c09c44b0437f3637624482648 (patch) | |
| tree | 8933c762f7672c3cad39df08ec4da39ff8add3c4 /src/Style.cxx | |
| parent | 0f755cbbab64741e1e8ef4e8d66d29d652b96a4c (diff) | |
| download | scintilla-mirror-b989664ead75d08c09c44b0437f3637624482648.tar.gz | |
Patch from Robin Dunn to pass an extra flag down to
font rendering to allow a platform-specific tweak.
Diffstat (limited to 'src/Style.cxx')
| -rw-r--r-- | src/Style.cxx | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/Style.cxx b/src/Style.cxx index c37bcac90..f01aee082 100644 --- a/src/Style.cxx +++ b/src/Style.cxx @@ -67,8 +67,8 @@ Style &Style::operator=(const Style &source) { void Style::Clear(ColourDesired fore_, ColourDesired back_, int size_, const char *fontName_, int characterSet_, - bool bold_, bool italic_, bool eolFilled_, - bool underline_, ecaseForced caseForce_, + bool bold_, bool italic_, bool eolFilled_, + bool underline_, ecaseForced caseForce_, bool visible_, bool changeable_, bool hotspot_) { fore.desired = fore_; back.desired = back_; @@ -102,7 +102,7 @@ void Style::ClearTo(const Style &source) { source.eolFilled, source.underline, source.caseForce, - source.visible, + source.visible, source.changeable, source.hotspot); } @@ -122,7 +122,7 @@ bool Style::EquivalentFontTo(const Style *other) const { return strcmp(fontName, other->fontName) == 0; } -void Style::Realise(Surface &surface, int zoomLevel, Style *defaultStyle) { +void Style::Realise(Surface &surface, int zoomLevel, Style *defaultStyle, bool extraFontFlag) { sizeZoomed = size + zoomLevel; if (sizeZoomed <= 2) // Hangs if sizeZoomed <= 1 sizeZoomed = 2; @@ -137,7 +137,7 @@ void Style::Realise(Surface &surface, int zoomLevel, Style *defaultStyle) { if (aliasOfDefaultFont) { font.SetID(defaultStyle->font.GetID()); } else if (fontName) { - font.Create(fontName, characterSet, deviceHeight, bold, italic); + font.Create(fontName, characterSet, deviceHeight, bold, italic, extraFontFlag); } else { font.SetID(0); } |