Fixed #2954 - Change default theme to reindeer

svn changeset:7822/svn branch:6.0

diff --git a/src/com/vaadin/terminal/gwt/server/AbstractApplicationServlet.java b/src/com/vaadin/terminal/gwt/server/AbstractApplicationServlet.java
index 96c0440b57a4556c18ac74f26576cc3f1b0e4325..bdf81c7ccce80d01b3f110344a36c88586369d2c 100644 (file)
--- a/src/com/vaadin/terminal/gwt/server/AbstractApplicationServlet.java
+++ b/src/com/vaadin/terminal/gwt/server/AbstractApplicationServlet.java
@@ -153,6 +153,8 @@ public abstract class AbstractApplicationServlet extends HttpServlet {
 
     private static final String ERROR_NO_WINDOW_FOUND = "Application did not give any window, did you remember to setMainWindow()?";
 
+    private static final String DEFAULT_THEME = "reindeer";
+
     private String resourcePath = null;
 
     /**
@@ -746,12 +748,21 @@ public abstract class AbstractApplicationServlet extends HttpServlet {
         }
 
         if (themeName == null) {
-            themeName = "default";
+            themeName = getDefaultTheme();
         }
 
         return themeName;
     }
 
+    /**
+     * Returns the default theme. Must never return null.
+     * 
+     * @return
+     */
+    String getDefaultTheme() {
+        return DEFAULT_THEME;
+    }
+
     /**
      * Calls URI handlers for the request. If an URI handler returns a
      * DownloadStream the stream is passed to the client for downloading.

diff --git a/src/com/vaadin/terminal/gwt/server/CommunicationManager.java b/src/com/vaadin/terminal/gwt/server/CommunicationManager.java
index 1e11814bf75358dbb96ce0aea97676baee65bcd1..0a69778e1389be04c3e6ed331311d6eb90a23600 100644 (file)
--- a/src/com/vaadin/terminal/gwt/server/CommunicationManager.java
+++ b/src/com/vaadin/terminal/gwt/server/CommunicationManager.java
@@ -533,7 +533,7 @@ public class CommunicationManager implements Paintable.RepaintRequestListener,
                 themeName = request.getParameter("theme");
             }
             if (themeName == null) {
-                themeName = "default";
+                themeName = applicationServlet.getDefaultTheme();
             }
 
             // TODO We should only precache the layouts that are not