Changeset 2210 for trunk/autoquest-plugin-html

Timestamp:

11/29/17 13:31:13 (7 years ago)

Author:

pharms

Message:

 

Location:

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

Files:

• commands/CMDcondenseHTMLGUIModel.java (modified) (2 diffs)
• guimodel/HTMLServer.java (modified) (1 diff)

trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcondenseHTMLGUIModel.java

@@ -46 +46 @@
  * <p>
  * An example for clarification. Consider the following two pages:
+ * </p>
  * <pre>
  * server
@@ -86 +87 @@
  *                           \-- ...
  * </pre>
+ * <p>
  * This now allows the menu and the footer to be treated as identical over several pages.
  * </p>

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

@@ -42 +42 @@
      *
      * @param specification the server specification
-     * @param parent        the parent of the server --> must always be null. Just included as
+     * @param parent        the parent of the serve, must always be null. Just included as
      *                      required by the automatic instantiation mechanism
      *