r7325@daniel-notebook (orig r3356): daniel | 2008-08-14 22:29:59 +0200

Remove unnecessary cast to int.


git-svn-id: svn://svn.sharpdevelop.net/sharpdevelop/trunk@3358 1ccf3a8d-04fe-1044-b7c0-cef0b8235c61

src/Libraries/ICSharpCode.TextEditor/Project/Src/Document/HighlightingStrategy/FontContainer.cs

@@ -79,7 +79,7 @@ namespace ICSharpCode.TextEditor.Document
 			}
 			set {
 				// 1440 twips is one inch
-				int pixelSize = (int)Math.Round(value.SizeInPoints * 20 / TwipsPerPixelY);
+				float pixelSize = (float)Math.Round(value.SizeInPoints * 20 / TwipsPerPixelY);
 				
 				defaultFont    = value;
 				regularfont    = new Font(value.FontFamily, pixelSize * TwipsPerPixelY / 20f, FontStyle.Regular);