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);