diff options
| author | clemenso <clemenso@8a26b1a7-26f0-462f-b9ef-d0e30c41f5a4> | 2009-01-23 13:42:17 +0000 |
|---|---|---|
| committer | clemenso <clemenso@8a26b1a7-26f0-462f-b9ef-d0e30c41f5a4> | 2009-01-23 13:42:17 +0000 |
| commit | a3f54566ff2b9b17c143bb68913d64aea188d8a7 (patch) | |
| tree | a2c70f3dd2075becbca790dbd24278e5c3658e5b /BKUOnline/src/main | |
| parent | 2d66c2f9ea2efd596287ad1be61e89d5bc1f1da9 (diff) | |
| download | mocca-a3f54566ff2b9b17c143bb68913d64aea188d8a7.tar.gz mocca-a3f54566ff2b9b17c143bb68913d64aea188d8a7.tar.bz2 mocca-a3f54566ff2b9b17c143bb68913d64aea188d8a7.zip | |
tiny applet
git-svn-id: https://joinup.ec.europa.eu/svn/mocca/trunk@285 8a26b1a7-26f0-462f-b9ef-d0e30c41f5a4
Diffstat (limited to 'BKUOnline/src/main')
| -rw-r--r-- | BKUOnline/src/main/webapp/applet.jsp | 1 | ||||
| -rw-r--r-- | BKUOnline/src/main/webapp/slRequestForm.html | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/BKUOnline/src/main/webapp/applet.jsp b/BKUOnline/src/main/webapp/applet.jsp index 44d9347c..3bf0ff40 100644 --- a/BKUOnline/src/main/webapp/applet.jsp +++ b/BKUOnline/src/main/webapp/applet.jsp @@ -31,6 +31,7 @@ <META HTTP-EQUIV="PRAGMA" CONTENT="NO-CACHE"> </head> <% + // min W/H (for de locale): 152px/145px with gui style 'tiny' int width = session.getAttribute("appletWidth") == null ? 190 : (Integer) session.getAttribute("appletWidth"); //230 for workshop demo integration int height = session.getAttribute("appletHeight") == null ? 130 diff --git a/BKUOnline/src/main/webapp/slRequestForm.html b/BKUOnline/src/main/webapp/slRequestForm.html index 9a96e9be..10330c8c 100644 --- a/BKUOnline/src/main/webapp/slRequestForm.html +++ b/BKUOnline/src/main/webapp/slRequestForm.html @@ -95,6 +95,7 @@ legend { name="appletBackground" value="" id="appletBackground"> <p> <label for="appletGuiStyle">GUI Style</label> + <input type="radio" name="appletGuiStyle" value="tiny" checked="checked">tiny <input type="radio" name="appletGuiStyle" value="simple" checked="checked">simple <input type="radio" name="appletGuiStyle" value="advanced">advanced </p> |