Mercurial > projects > dwt-addons
comparison dwtx/jface/text/source/projection/SourceViewerInformationControl.d @ 134:51e6e63f930e
Regex fix for casts
author | Frank Benoit <benoit@tionex.de> |
---|---|
date | Sun, 24 Aug 2008 01:46:20 +0200 |
parents | 7d818bd32d63 |
children | 65801ad2b265 |
comparison
equal
deleted
inserted
replaced
133:7d818bd32d63 | 134:51e6e63f930e |
---|---|
188 * @see dwtx.jface.text.IInformationControlExtension2#setInput(java.lang.Object) | 188 * @see dwtx.jface.text.IInformationControlExtension2#setInput(java.lang.Object) |
189 * @param input the input object | 189 * @param input the input object |
190 */ | 190 */ |
191 public void setInput(Object input) { | 191 public void setInput(Object input) { |
192 if (input instanceof String) | 192 if (input instanceof String) |
193 setInformation((String)input); | 193 setInformation(cast(String)input); |
194 else | 194 else |
195 setInformation(null); | 195 setInformation(null); |
196 } | 196 } |
197 | 197 |
198 /* | 198 /* |
242 * @see IInformationControl#setSize(int, int) | 242 * @see IInformationControl#setSize(int, int) |
243 */ | 243 */ |
244 public void setSize(int width, int height) { | 244 public void setSize(int width, int height) { |
245 | 245 |
246 if (fStatusField !is null) { | 246 if (fStatusField !is null) { |
247 GridData gd= (GridData)fViewer.getTextWidget().getLayoutData(); | 247 GridData gd= cast(GridData)fViewer.getTextWidget().getLayoutData(); |
248 Point statusSize= fStatusField.computeSize(DWT.DEFAULT, DWT.DEFAULT, true); | 248 Point statusSize= fStatusField.computeSize(DWT.DEFAULT, DWT.DEFAULT, true); |
249 Point separatorSize= fSeparator.computeSize(DWT.DEFAULT, DWT.DEFAULT, true); | 249 Point separatorSize= fSeparator.computeSize(DWT.DEFAULT, DWT.DEFAULT, true); |
250 gd.heightHint= height - statusSize.y - separatorSize.y; | 250 gd.heightHint= height - statusSize.y - separatorSize.y; |
251 } | 251 } |
252 fShell.setSize(width, height); | 252 fShell.setSize(width, height); |