919293949596979899100101
if (editedDfd != null) { GuiEvent ev = new GuiEvent((Object)gui, DFGUIAdapter.MODIFY); ev.addParameter(df); ev.addParameter(editedDfd); gui.myAgent.postGuiEvent(ev); } }