87888990919293
{ return panel; } private void fireProfileSelection(String profileName) { Console.MODULES.getEventBus().fireEvent(new ProfileSelectionEvent(profileName)); }
3839404142434445464748
Scheduler.get().scheduleDeferred( new Scheduler.ScheduledCommand() { @Override public void execute() { Console.getEventBus().fireEvent( new ProfileSelectionEvent(event.getValue()) ); } }); } }
79808182838485
{ return layout; } private void fireProfileSelection(String profileName) { Console.MODULES.getEventBus().fireEvent(new ProfileSelectionEvent(profileName)); }
149150151152153154155156
if(!profileSelection.isSet()) { String name = result.get(0).getName(); System.out.println("Default profile selection: "+name); profileSelection.setName(name); getEventBus().fireEvent(new ProfileSelectionEvent(name)); } }
3334353637383940414243
public void onValueChange(final ValueChangeEvent<String> event) { Scheduler.get().scheduleEntry(new Scheduler.ScheduledCommand() { @Override public void execute() { Console.MODULES.getEventBus().fireEvent(new ProfileSelectionEvent(event.getValue())); } }); } });
4142434445464748495051
65666768697071
public Widget asWidget() { return panel; } private void fireProfileSelection(String name) { Console.MODULES.getEventBus().fireEvent(new ProfileSelectionEvent(name)); }
170171172173174175176177
71727374757677