// Sets the object display type. Waits for the event loop to finish because
// of an apparent timing bug triggered by superdevmode (see case 3745).
public void setObjectDisplay(int type)
{
deferredObjectDisplayType_ = new Integer(type);
Scheduler.get().scheduleDeferred(new ScheduledCommand()
{
@Override
public void execute()
{
setDeferredObjectDisplay();