Changeset 1834 for trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/commands/CMDgenerateJacaretoReplay.java

Timestamp:

11/24/14 01:51:10 (10 years ago)

Author:

dmay

Message:

Work of the last week: Completely redid most of the menu handling, since there were too many cornercases that did not work. Turns out, that in these cases, wrong indices were generated. Fixed.

File:

• trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/commands/CMDgenerateJacaretoReplay.java (modified) (2 diffs)

trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/commands/CMDgenerateJacaretoReplay.java

@@ -302 +302 @@
                     // if a menu file was provided, use the improved event
                     // generation
+                    // TODO: check how much of this is still necessary with
+                    // the new menu index system
                     if (menuList != null) {
                         if (event.getTarget() instanceof JFCMenuButton) {
@@ -423 +425 @@
             if (indent < oldIndent) {
                 // this is a parent submenu
-                elements.add(menuElements.get(stripped));
+                elements.push(menuElements.get(stripped));
                 oldIndent = indent;
             }