Changeset 961 for trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLPanel.java

Timestamp:

10/30/12 14:02:07 (12 years ago)

Author:

pharms

Message:

• refined HTML GUI model to also include explicitely the server and the page

File:

• trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLPanel.java (modified) (2 diffs)

trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLPanel.java

@@ -24 +24 @@
  * @author Patrick Harms
  */
-public class HTMLPanel extends HTMLGUIElement implements IPanel {
+public class HTMLPanel extends HTMLPageElement implements IPanel {
 
     /**  */
@@ -37 +37 @@
      * @param parent
      */
-    public HTMLPanel(HTMLGUIElementSpec specification, HTMLGUIElement parent) {
+    public HTMLPanel(HTMLPageElementSpec specification, HTMLGUIElement parent) {
         super(specification, parent);
     }