Ignore:
Timestamp:
02/15/14 15:26:06 (10 years ago)
Author:
pharms
Message:
  • improved GUI element group naming
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/autoquest-plugin-html-test/src/test/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcondenseHTMLGUIModelTest.java

    r1336 r1387  
    482482        } 
    483483        else if (childElement instanceof GUIElementGroup) { 
    484             name.append(((GUIElementGroup) childElement).getStringIdentifier()); 
     484            String tmp = ((GUIElementGroup) childElement).getStringIdentifier(); 
     485            tmp = tmp.replaceAll("/", ""); 
     486            tmp = tmp.replaceAll("\\[", ""); 
     487            tmp = tmp.replaceAll("\\]", ""); 
     488            tmp = tmp.replaceAll("\\|", ""); 
     489            name.append(tmp); 
    485490             
    486491            /*for (IGUIElement groupedElement : ((GUIElementGroup) childElement).getGroupedElements()) 
Note: See TracChangeset for help on using the changeset viewer.