|
Lines 10-24
Link Here
|
| 10 |
******************************************************************************/ |
10 |
******************************************************************************/ |
| 11 |
package org.eclipse.rap.demo; |
11 |
package org.eclipse.rap.demo; |
| 12 |
|
12 |
|
| 13 |
import java.util.ArrayList; |
13 |
import java.util.*; |
| 14 |
import java.util.List; |
14 |
import java.util.List; |
| 15 |
|
15 |
|
|
|
16 |
import org.eclipse.jface.action.Action; |
| 16 |
import org.eclipse.jface.dialogs.MessageDialog; |
17 |
import org.eclipse.jface.dialogs.MessageDialog; |
| 17 |
import org.eclipse.jface.viewers.*; |
18 |
import org.eclipse.jface.viewers.*; |
| 18 |
import org.eclipse.swt.SWT; |
19 |
import org.eclipse.swt.SWT; |
| 19 |
import org.eclipse.swt.graphics.Image; |
20 |
import org.eclipse.swt.graphics.Image; |
| 20 |
import org.eclipse.swt.widgets.Composite; |
21 |
import org.eclipse.swt.widgets.*; |
| 21 |
import org.eclipse.swt.widgets.Shell; |
|
|
| 22 |
import org.eclipse.ui.*; |
22 |
import org.eclipse.ui.*; |
| 23 |
import org.eclipse.ui.part.ViewPart; |
23 |
import org.eclipse.ui.part.ViewPart; |
| 24 |
import org.eclipse.ui.views.properties.*; |
24 |
import org.eclipse.ui.views.properties.*; |
|
Lines 27-32
Link Here
|
| 27 |
|
27 |
|
| 28 |
private TreeViewer viewer; |
28 |
private TreeViewer viewer; |
| 29 |
private IPropertySheetPage propertyPage; |
29 |
private IPropertySheetPage propertyPage; |
|
|
30 |
private Action refreshAction; |
| 30 |
|
31 |
|
| 31 |
// TODO [rst] Add via extension |
32 |
// TODO [rst] Add via extension |
| 32 |
// private final class LeafStarLabelDecorator extends LabelProvider |
33 |
// private final class LeafStarLabelDecorator extends LabelProvider |
|
Lines 260-265
Link Here
|
| 260 |
viewer.setLabelProvider( labelProvider ); |
261 |
viewer.setLabelProvider( labelProvider ); |
| 261 |
viewer.setInput( this ); |
262 |
viewer.setInput( this ); |
| 262 |
viewer.addDoubleClickListener( this ); |
263 |
viewer.addDoubleClickListener( this ); |
|
|
264 |
|
| 265 |
final Display display = parent.getDisplay(); |
| 266 |
|
| 267 |
refreshAction = new Action() { |
| 268 |
|
| 269 |
public void run() { |
| 270 |
TimerTask task = new TimerTask() { |
| 271 |
|
| 272 |
public void run() { |
| 273 |
display.asyncExec( new Runnable() { |
| 274 |
|
| 275 |
public void run() { |
| 276 |
viewer.setInput( null ); |
| 277 |
} |
| 278 |
} ); |
| 279 |
} |
| 280 |
}; |
| 281 |
Timer timer = new Timer(); |
| 282 |
timer.schedule( task, 2000 ); |
| 283 |
} |
| 284 |
}; |
| 285 |
refreshAction.setText("Refresh"); |
| 286 |
IActionBars bars = getViewSite().getActionBars(); |
| 287 |
bars.getToolBarManager().add( refreshAction ); |
| 288 |
|
| 263 |
getSite().setSelectionProvider( viewer ); |
289 |
getSite().setSelectionProvider( viewer ); |
| 264 |
} |
290 |
} |
| 265 |
|
291 |
|
