comparison dwtx/jface/text/reconciler/Reconciler.d @ 162:1a5b8f8129df

...
author Frank Benoit <benoit@tionex.de>
date Mon, 08 Sep 2008 00:51:37 +0200
parents f70d9508c95c
children
comparison
equal deleted inserted replaced
161:f8d52b926852 162:1a5b8f8129df
115 fStrategies= new HashMap(); 115 fStrategies= new HashMap();
116 116
117 if (strategy is null) 117 if (strategy is null)
118 fStrategies.remove(contentType); 118 fStrategies.remove(contentType);
119 else { 119 else {
120 fStrategies.put(contentType, strategy); 120 fStrategies.put(contentType, cast(Object)strategy);
121 if (cast(IReconcilingStrategyExtension )strategy && getProgressMonitor() !is null) { 121 if (cast(IReconcilingStrategyExtension )strategy && getProgressMonitor() !is null) {
122 IReconcilingStrategyExtension extension= cast(IReconcilingStrategyExtension) strategy; 122 IReconcilingStrategyExtension extension= cast(IReconcilingStrategyExtension) strategy;
123 extension.setProgressMonitor(getProgressMonitor()); 123 extension.setProgressMonitor(getProgressMonitor());
124 } 124 }
125 } 125 }
234 private ITypedRegion[] computePartitioning(int offset, int length) { 234 private ITypedRegion[] computePartitioning(int offset, int length) {
235 ITypedRegion[] regions= null; 235 ITypedRegion[] regions= null;
236 try { 236 try {
237 regions= TextUtilities.computePartitioning(getDocument(), getDocumentPartitioning(), offset, length, false); 237 regions= TextUtilities.computePartitioning(getDocument(), getDocumentPartitioning(), offset, length, false);
238 } catch (BadLocationException x) { 238 } catch (BadLocationException x) {
239 regions= new TypedRegion[0]; 239 regions= new ITypedRegion[0];
240 } 240 }
241 return regions; 241 return regions;
242 } 242 }
243 } 243 }