# HG changeset patch # User Thomas Graber # Date 1203787413 -3600 # Node ID b7d87b56bbc77811fc090b450e8f08d61406b836 # Parent dd156298d22fbe8bba94f2d89a12947a02503272 fix some != to correct !is diff -r dd156298d22f -r b7d87b56bbc7 dwt/graphics/TextStyle.d --- a/dwt/graphics/TextStyle.d Thu Feb 21 01:58:48 2008 +0100 +++ b/dwt/graphics/TextStyle.d Sat Feb 23 18:23:33 2008 +0100 @@ -163,17 +163,17 @@ public override char[] toString () { char[] buffer = "TextStyle {"; int startLength = buffer.length; - if (font != null) { + if (font !is null) { if (buffer.length > startLength) buffer ~= ", "; buffer ~= "font="; buffer ~= font.toString; } - if (foreground != null) { + if (foreground !is null) { if (buffer.length > startLength) buffer ~= ", "; buffer ~= "foreground="; buffer ~= foreground.toString; } - if (background != null) { + if (background !is null) { if (buffer.length > startLength) buffer ~= ", "; buffer ~= "background="; buffer ~= background.toString; @@ -191,7 +191,7 @@ buffer ~= "rise="; buffer ~= to!(char[])(rise); } - if (metrics != null) { + if (metrics !is null) { if (buffer.length > startLength) buffer ~= ", "; buffer ~= "metrics="; buffer ~= metrics.toString;