| 336 | | override public char[] toString () { |
|---|
| 337 | | char[] string = getName()~" {"; |
|---|
| 338 | | if (width !is DWT.DEFAULT) string ~= "width="~to!(char[])(width)~" "; |
|---|
| 339 | | if (height !is DWT.DEFAULT) string ~= "height="~to!(char[])(height)~" "; |
|---|
| 340 | | if (left !is null) string ~= "left="~to!(char[])(left)~" "; |
|---|
| 341 | | if (right !is null) string ~= "right="~to!(char[])(right)~" "; |
|---|
| 342 | | if (top !is null) string ~= "top="~to!(char[])(top)~" "; |
|---|
| 343 | | if (bottom !is null) string ~= "bottom="~to!(char[])(bottom)~" "; |
|---|
| 344 | | string = trim( string ); |
|---|
| | 336 | override public String toString () { |
|---|
| | 337 | String string = getName()~" {"; |
|---|
| | 338 | if (width !is DWT.DEFAULT) string ~= "width="~to!(String)(width)~" "; |
|---|
| | 339 | if (height !is DWT.DEFAULT) string ~= "height="~to!(String)(height)~" "; |
|---|
| | 340 | if (left !is null) string ~= "left="~to!(String)(left)~" "; |
|---|
| | 341 | if (right !is null) string ~= "right="~to!(String)(right)~" "; |
|---|
| | 342 | if (top !is null) string ~= "top="~to!(String)(top)~" "; |
|---|
| | 343 | if (bottom !is null) string ~= "bottom="~to!(String)(bottom)~" "; |
|---|
| | 344 | string = string.trim(); |
|---|