annotate dwtx/jface/action/StatusLineManager.d @ 39:644f1334b451

fix anon classes
author Frank Benoit <benoit@tionex.de>
date Tue, 08 Apr 2008 22:05:42 +0200
parents 87d8cf0a3074
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
26
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
1 /*******************************************************************************
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
2 * Copyright (c) 2000, 2006 IBM Corporation and others.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
3 * All rights reserved. This program and the accompanying materials
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
4 * are made available under the terms of the Eclipse Public License v1.0
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
5 * which accompanies this distribution, and is available at
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
6 * http://www.eclipse.org/legal/epl-v10.html
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
7 *
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
8 * Contributors:
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
9 * IBM Corporation - initial API and implementation
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
10 * Port to the D programming language:
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
11 * Frank Benoit <benoit@tionex.de>
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
12 *******************************************************************************/
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
13 module dwtx.jface.action.StatusLineManager;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
14
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
15 import dwtx.jface.action.ContributionManager;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
16 import dwtx.jface.action.IStatusLineManager;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
17 import dwtx.jface.action.GroupMarker;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
18 import dwtx.jface.action.StatusLine;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
19 import dwtx.jface.action.IContributionManager;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
20 import dwtx.jface.action.IContributionItem;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
21
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
22 import dwt.DWT;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
23 import dwt.graphics.Image;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
24 import dwt.widgets.Composite;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
25 import dwt.widgets.Control;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
26 import dwtx.core.runtime.IProgressMonitor;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
27 import dwtx.core.runtime.IProgressMonitorWithBlocking;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
28 import dwtx.core.runtime.IStatus;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
29
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
30 import dwt.dwthelper.utils;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
31
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
32 /**
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
33 * A status line manager is a contribution manager which realizes itself and its items
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
34 * in a status line control.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
35 * <p>
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
36 * This class may be instantiated; it may also be subclassed if a more
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
37 * sophisticated layout is required.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
38 * </p>
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
39 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
40 public class StatusLineManager : ContributionManager,
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
41 IStatusLineManager {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
42
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
43 /**
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
44 * Identifier of group marker used to position contributions at the beginning
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
45 * of the status line.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
46 *
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
47 * @since 3.0
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
48 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
49 public static const String BEGIN_GROUP = "BEGIN_GROUP"; //$NON-NLS-1$
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
50
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
51 /**
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
52 * Identifier of group marker used to position contributions in the middle
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
53 * of the status line.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
54 *
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
55 * @since 3.0
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
56 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
57 public static const String MIDDLE_GROUP = "MIDDLE_GROUP"; //$NON-NLS-1$
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
58
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
59 /**
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
60 * Identifier of group marker used to position contributions at the end
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
61 * of the status line.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
62 *
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
63 * @since 3.0
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
64 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
65 public static const String END_GROUP = "END_GROUP"; //$NON-NLS-1$
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
66
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
67 /**
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
68 * The status line control; <code>null</code> before
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
69 * creation and after disposal.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
70 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
71 private Composite statusLine = null;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
72
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
73 /**
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
74 * Creates a new status line manager.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
75 * Use the <code>createControl</code> method to create the
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
76 * status line control.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
77 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
78 public this() {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
79 add(new GroupMarker(BEGIN_GROUP));
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
80 add(new GroupMarker(MIDDLE_GROUP));
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
81 add(new GroupMarker(END_GROUP));
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
82 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
83
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
84 /**
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
85 * Creates and returns this manager's status line control.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
86 * Does not create a new control if one already exists.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
87 * <p>
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
88 * Note: Since 3.0 the return type is <code>Control</code>. Before 3.0, the return type was
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
89 * the package-private class <code>StatusLine</code>.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
90 * </p>
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
91 *
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
92 * @param parent the parent control
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
93 * @return the status line control
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
94 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
95 public Control createControl(Composite parent) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
96 return createControl(parent, DWT.NONE);
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
97 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
98
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
99 /**
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
100 * Creates and returns this manager's status line control.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
101 * Does not create a new control if one already exists.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
102 *
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
103 * @param parent the parent control
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
104 * @param style the style for the control
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
105 * @return the status line control
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
106 * @since 3.0
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
107 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
108 public Control createControl(Composite parent, int style) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
109 if (!statusLineExist() && parent !is null) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
110 statusLine = new StatusLine(parent, style);
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
111 update(false);
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
112 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
113 return statusLine;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
114 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
115
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
116 /**
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
117 * Disposes of this status line manager and frees all allocated DWT resources.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
118 * Notifies all contribution items of the dispose. Note that this method does
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
119 * not clean up references between this status line manager and its associated
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
120 * contribution items. Use <code>removeAll</code> for that purpose.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
121 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
122 public void dispose() {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
123 if (statusLineExist()) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
124 statusLine.dispose();
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
125 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
126 statusLine = null;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
127
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
128 IContributionItem items[] = getItems();
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
129 for (int i = 0; i < items.length; i++) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
130 items[i].dispose();
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
131 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
132 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
133
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
134 /**
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
135 * Returns the control used by this StatusLineManager.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
136 *
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
137 * @return the control used by this manager
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
138 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
139 public Control getControl() {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
140 return statusLine;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
141 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
142
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
143 /**
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
144 * Returns the progress monitor delegate. Override this method
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
145 * to provide your own object used to handle progress.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
146 *
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
147 * @return the IProgressMonitor delegate
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
148 * @since 3.0
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
149 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
150 protected IProgressMonitor getProgressMonitorDelegate() {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
151 return cast(IProgressMonitor) getControl();
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
152 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
153
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
154 /*
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
155 * (non-Javadoc)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
156 * Method declared on IStatusLineManager
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
157 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
158 public IProgressMonitor getProgressMonitor() {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
159
39
644f1334b451 fix anon classes
Frank Benoit <benoit@tionex.de>
parents: 26
diff changeset
160 return new class(getProgressMonitorDelegate()) IProgressMonitorWithBlocking {
26
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
161
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
162 IProgressMonitor progressDelegate;
39
644f1334b451 fix anon classes
Frank Benoit <benoit@tionex.de>
parents: 26
diff changeset
163 this(IProgressMonitor a){
644f1334b451 fix anon classes
Frank Benoit <benoit@tionex.de>
parents: 26
diff changeset
164 progressDelegate = a;
26
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
165 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
166
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
167 /* (non-Javadoc)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
168 * @see dwtx.core.runtime.IProgressMonitor#beginTask(java.lang.String, int)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
169 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
170 public void beginTask(String name, int totalWork) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
171 progressDelegate.beginTask(name, totalWork);
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
172
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
173 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
174
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
175 /* (non-Javadoc)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
176 * @see dwtx.core.runtime.IProgressMonitor#done()
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
177 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
178 public void done() {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
179 progressDelegate.done();
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
180 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
181
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
182 /* (non-Javadoc)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
183 * @see dwtx.core.runtime.IProgressMonitor#internalWorked(double)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
184 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
185 public void internalWorked(double work) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
186 progressDelegate.internalWorked(work);
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
187
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
188 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
189
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
190 /* (non-Javadoc)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
191 * @see dwtx.core.runtime.IProgressMonitor#isCanceled()
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
192 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
193 public bool isCanceled() {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
194 return progressDelegate.isCanceled();
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
195 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
196
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
197 /* (non-Javadoc)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
198 * @see dwtx.core.runtime.IProgressMonitor#setCanceled(bool)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
199 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
200 public void setCanceled(bool value) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
201 //Don't bother updating for disposed status
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
202 if (statusLine.isDisposed()) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
203 return;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
204 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
205 progressDelegate.setCanceled(value);
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
206
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
207 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
208
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
209 /* (non-Javadoc)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
210 * @see dwtx.core.runtime.IProgressMonitor#setTaskName(java.lang.String)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
211 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
212 public void setTaskName(String name) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
213 progressDelegate.setTaskName(name);
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
214
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
215 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
216
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
217 /* (non-Javadoc)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
218 * @see dwtx.core.runtime.IProgressMonitor#subTask(java.lang.String)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
219 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
220 public void subTask(String name) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
221 progressDelegate.subTask(name);
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
222
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
223 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
224
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
225 /* (non-Javadoc)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
226 * @see dwtx.core.runtime.IProgressMonitor#worked(int)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
227 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
228 public void worked(int work) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
229 progressDelegate.worked(work);
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
230 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
231
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
232 /* (non-Javadoc)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
233 * @see dwtx.core.runtime.IProgressMonitorWithBlocking#clearBlocked()
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
234 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
235 public void clearBlocked() {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
236 //Do nothing here as we let the modal context handle it
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
237 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
238
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
239 /* (non-Javadoc)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
240 * @see dwtx.core.runtime.IProgressMonitorWithBlocking#setBlocked(dwtx.core.runtime.IStatus)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
241 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
242 public void setBlocked(IStatus reason) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
243 // Do nothing here as we let the modal context handle it
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
244 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
245 };
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
246 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
247
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
248 /* (non-Javadoc)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
249 * Method declared on IStatueLineManager
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
250 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
251 public bool isCancelEnabled() {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
252 return statusLineExist() && (cast(StatusLine) statusLine).isCancelEnabled();
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
253 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
254
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
255 /* (non-Javadoc)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
256 * Method declared on IStatueLineManager
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
257 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
258 public void setCancelEnabled(bool enabled) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
259 if (statusLineExist()) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
260 (cast(StatusLine) statusLine).setCancelEnabled(enabled);
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
261 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
262 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
263
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
264 /* (non-Javadoc)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
265 * Method declared on IStatusLineManager.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
266 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
267 public void setErrorMessage(String message) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
268 if (statusLineExist()) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
269 (cast(StatusLine) statusLine).setErrorMessage(message);
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
270 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
271 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
272
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
273 /* (non-Javadoc)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
274 * Method declared on IStatusLineManager.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
275 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
276 public void setErrorMessage(Image image, String message) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
277 if (statusLineExist()) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
278 (cast(StatusLine) statusLine).setErrorMessage(image, message);
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
279 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
280 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
281
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
282 /* (non-Javadoc)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
283 * Method declared on IStatusLineManager.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
284 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
285 public void setMessage(String message) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
286 if (statusLineExist()) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
287 (cast(StatusLine) statusLine).setMessage(message);
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
288 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
289 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
290
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
291 /* (non-Javadoc)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
292 * Method declared on IStatusLineManager.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
293 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
294 public void setMessage(Image image, String message) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
295 if (statusLineExist()) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
296 (cast(StatusLine) statusLine).setMessage(image, message);
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
297 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
298 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
299
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
300 /**
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
301 * Returns whether the status line control is created
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
302 * and not disposed.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
303 *
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
304 * @return <code>true</code> if the control is created
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
305 * and not disposed, <code>false</code> otherwise
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
306 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
307 private bool statusLineExist() {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
308 return statusLine !is null && !statusLine.isDisposed();
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
309 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
310
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
311 /* (non-Javadoc)
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
312 * Method declared on IContributionManager.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
313 */
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
314 public void update(bool force) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
315
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
316 //bool DEBUG= false;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
317
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
318 if (isDirty() || force) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
319
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
320 if (statusLineExist()) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
321 statusLine.setRedraw(false);
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
322
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
323 // NOTE: the update algorithm is non-incremental.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
324 // An incremental algorithm requires that DWT items can be created in the middle of the list
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
325 // but the ContributionItem.fill(Composite) method used here does not take an index, so this
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
326 // is not possible.
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
327
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
328 Control ws[] = statusLine.getChildren();
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
329 for (int i = 0; i < ws.length; i++) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
330 Control w = ws[i];
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
331 Object data = w.getData();
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
332 if (cast(IContributionItem) data ) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
333 w.dispose();
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
334 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
335 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
336
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
337 int oldChildCount = statusLine.getChildren().length;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
338 IContributionItem[] items = getItems();
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
339 for (int i = 0; i < items.length; ++i) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
340 IContributionItem ci = items[i];
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
341 if (ci.isVisible()) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
342 ci.fill(statusLine);
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
343 // associate controls with contribution item
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
344 Control[] newChildren = statusLine.getChildren();
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
345 for (int j = oldChildCount; j < newChildren.length; j++) {
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
346 newChildren[j].setData(cast(Object)ci);
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
347 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
348 oldChildCount = newChildren.length;
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
349 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
350 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
351
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
352 setDirty(false);
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
353
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
354 statusLine.layout();
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
355 statusLine.setRedraw(true);
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
356 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
357 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
358 }
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
359
87d8cf0a3074 StatusLine
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
360 }