diff options
| author | nyamatongwe <devnull@localhost> | 2004-03-29 12:43:42 +0000 | 
|---|---|---|
| committer | nyamatongwe <devnull@localhost> | 2004-03-29 12:43:42 +0000 | 
| commit | 9c68461190bd8a25e841b2fc715da96d3143096a (patch) | |
| tree | 8933c762f7672c3cad39df08ec4da39ff8add3c4 /src/ViewStyle.cxx | |
| parent | a86542284db36d95dfe424b7a181e6a85b1859c8 (diff) | |
| download | scintilla-mirror-9c68461190bd8a25e841b2fc715da96d3143096a.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/ViewStyle.cxx')
| -rw-r--r-- | src/ViewStyle.cxx | 6 | 
1 files changed, 4 insertions, 2 deletions
| diff --git a/src/ViewStyle.cxx b/src/ViewStyle.cxx index 8df779079..c52f1e472 100644 --- a/src/ViewStyle.cxx +++ b/src/ViewStyle.cxx @@ -112,6 +112,7 @@ ViewStyle::ViewStyle(const ViewStyle &source) {  	viewIndentationGuides = source.viewIndentationGuides;  	viewEOL = source.viewEOL;  	showMarkedLines = source.showMarkedLines; +	extraFontFlag = source.extraFontFlag;  }  ViewStyle::~ViewStyle() { @@ -193,6 +194,7 @@ void ViewStyle::Init() {  	viewIndentationGuides = false;  	viewEOL = false;  	showMarkedLines = true; +	extraFontFlag = false;  }  void ViewStyle::RefreshColourPalette(Palette &pal, bool want) { @@ -228,13 +230,13 @@ void ViewStyle::RefreshColourPalette(Palette &pal, bool want) {  void ViewStyle::Refresh(Surface &surface) {  	selbar.desired = Platform::Chrome();  	selbarlight.desired = Platform::ChromeHighlight(); -	styles[STYLE_DEFAULT].Realise(surface, zoomLevel); +	styles[STYLE_DEFAULT].Realise(surface, zoomLevel, NULL, extraFontFlag);  	maxAscent = styles[STYLE_DEFAULT].ascent;  	maxDescent = styles[STYLE_DEFAULT].descent;  	someStylesProtected = false;  	for (unsigned int i=0;i<(sizeof(styles)/sizeof(styles[0]));i++) {  		if (i != STYLE_DEFAULT) { -			styles[i].Realise(surface, zoomLevel, &styles[STYLE_DEFAULT]); +			styles[i].Realise(surface, zoomLevel, &styles[STYLE_DEFAULT], extraFontFlag);  			if (maxAscent < styles[i].ascent)  				maxAscent = styles[i].ascent;  			if (maxDescent < styles[i].descent) | 
