EventRegistration windowSystem_TextMenuStatusChange = ClientEventManager.register( WindowSystem.class, "TextMenuStatusChange" );
while (true) {
UIutils.processGUIActions();
EventHandle qq_currentEvent = EventManager.waitForEvent();
if (qq_currentEvent == null)
break;
// -------------
// task.Shutdown
// -------------
if (qq_currentEvent.isEvent(TaskHandle_Shutdown_langThreadcurrentThread)) {
try {
CursorMgr.startEvent();
// ================ Begin Forte Event Handler Translation ================
break;
// ================ End Forte Event Handler Translation ================
}
finally {
CursorMgr.endEvent();
}
}
// ---------------------------
// Window.TextMenuStatusChange
// ---------------------------
else if (qq_currentEvent.isEvent(windowSystem_TextMenuStatusChange)) {
try {
CursorMgr.startEvent();
// ================ Begin Forte Event Handler Translation ================
int cutState = ((ParameterHolder)qq_currentEvent.getParameter("CutState")).getInt();
int copyState = ((ParameterHolder)qq_currentEvent.getParameter("CopyState")).getInt();
int pasteState = ((ParameterHolder)qq_currentEvent.getParameter("PasteState")).getInt();
int deleteState = ((ParameterHolder)qq_currentEvent.getParameter("DeleteState")).getInt();
int selectAllState = ((ParameterHolder)qq_currentEvent.getParameter("SelectAllState")).getInt();
int undoState = ((ParameterHolder)qq_currentEvent.getParameter("UndoState")).getInt();
int redoState = ((ParameterHolder)qq_currentEvent.getParameter("RedoState")).getInt();
WidgetState.set(this.getqq_editCopy(), copyState);
WidgetState.set(this.getqq_editCut(), cutState);
WidgetState.set(this.getqq_editPaste(), pasteState);
WidgetState.set(this.getqq_editDelete(), deleteState);