Description Martin Oberhuber 2008-06-10 00:02:58 EDT

The RSE ISystemRegistry#fireEvent() methods are documented to switch to the UI Thread (Display.asyncExec()), but only if not on the UI thread already.

In order to abstract from the event handling through IRSEInteractionProvider, we'll need a method eventExec() which has exactly these semantics:

/**
 * Run a Runnable in the message Thread.
 * Directly runs if already on the right Thread, or does an asyncExec()
 * otherwise.
 */
public void eventExec(Runnable r);