1 /*******************************************************************************
\r
2 * Copyright (c) 2007, 2010 Association for Decentralized Information Management
\r
3 * in Industry THTH ry.
\r
4 * All rights reserved. This program and the accompanying materials
\r
5 * are made available under the terms of the Eclipse Public License v1.0
\r
6 * which accompanies this distribution, and is available at
\r
7 * http://www.eclipse.org/legal/epl-v10.html
\r
10 * VTT Technical Research Centre of Finland - initial API and implementation
\r
11 *******************************************************************************/
\r
12 package org.simantics.ui.workbench;
\r
14 import java.util.function.Consumer;
\r
15 import java.util.function.Supplier;
\r
17 import org.eclipse.core.runtime.IStatus;
\r
18 import org.eclipse.core.runtime.Status;
\r
19 import org.eclipse.swt.widgets.Display;
\r
20 import org.simantics.db.procedure.Listener;
\r
21 import org.simantics.ui.internal.Activator;
\r
24 * @author Tuukka Lehtonen
\r
26 public class TitleUpdater implements Listener<String> {
\r
28 private final Display display;
\r
29 private final Consumer<String> callback;
\r
30 private final Supplier<Boolean> disposed;
\r
32 public TitleUpdater(Display display, Consumer<String> titleChangedCallback, Supplier<Boolean> disposed) {
\r
33 this.display = display;
\r
34 this.callback = titleChangedCallback;
\r
35 this.disposed = disposed;
\r
39 public void execute(final String result) {
\r
40 display.asyncExec(new Runnable() {
\r
44 callback.accept(result);
\r
50 public boolean isDisposed() {
\r
51 return disposed.get();
\r
55 public void exception(Throwable t) {
\r
56 Activator.getDefault().getLog().log(new Status(IStatus.ERROR, Activator.PLUGIN_ID, "Title update failed.", t));
\r