comparison dwtx/jface/text/source/projection/ProjectionSummary.d @ 158:25f1f92fa3df

...
author Frank Benoit <benoit@tionex.de>
date Tue, 26 Aug 2008 02:46:34 +0200
parents 7f75eaa8103a
children 1a5b8f8129df
comparison
equal deleted inserted replaced
157:7f75eaa8103a 158:25f1f92fa3df
23 import dwtx.jface.text.source.projection.IProjectionListener; // packageimport 23 import dwtx.jface.text.source.projection.IProjectionListener; // packageimport
24 import dwtx.jface.text.source.projection.ProjectionAnnotation; // packageimport 24 import dwtx.jface.text.source.projection.ProjectionAnnotation; // packageimport
25 25
26 26
27 import dwt.dwthelper.utils; 27 import dwt.dwthelper.utils;
28 28 import tango.core.Thread;
29 29
30 import dwtx.dwtxhelper.Collection; 30 import dwtx.dwtxhelper.Collection;
31 31
32 32
33 33
51 * 51 *
52 * @since 3.0 52 * @since 3.0
53 */ 53 */
54 class ProjectionSummary { 54 class ProjectionSummary {
55 55
56 private class Summarizer : Thread { 56 private class Summarizer {
57 57
58 Thread thread;
58 private bool fReset= true; 59 private bool fReset= true;
59 60
60 /** 61 /**
61 * Creates a new thread. 62 * Creates a new thread.
62 */ 63 */
63 public this() { 64 public this() {
65 thread = new Thread( &run );
64 fProgressMonitor= new NullProgressMonitor(); // might be given by client in the future 66 fProgressMonitor= new NullProgressMonitor(); // might be given by client in the future
65 setDaemon(true); 67 thread.isDaemon(true);
66 start(); 68 thread.start();
67 } 69 }
68 70
69 /** 71 /**
70 * Resets the thread. 72 * Resets the thread.
71 */ 73 */
180 sync.setLockObject((cast(ISynchronizable) document).getLockObject()); 182 sync.setLockObject((cast(ISynchronizable) document).getLockObject());
181 } 183 }
182 184
183 185
184 removeSummaries(monitor); 186 removeSummaries(monitor);
185 187
186 if (isCanceled(monitor)) 188 if (isCanceled(monitor))
187 return; 189 return;
188 190
189 createSummaries(monitor); 191 createSummaries(monitor);
190 192