Revision: 9480
Author: gwt.mirror...@gmail.com
Date: Thu Dec 23 13:01:51 2010
Log: Updated missingplugin to support IE 32 and 64 bits dev mode plugin.
http://code.google.com/p/google-web-toolkit/source/detail?r=9480
Modified:
/trunk/plugins/MissingPlugin/build.xml
/trunk/plugins/MissingPlugin/war/MissingPlugin.html
=======================================
--- /trunk/plugins/MissingPlugin/build.xml Fri Nov 13 16:38:10 2009
+++ /trunk/plugins/MissingPlugin/build.xml Thu Dec 23 13:01:51 2010
@@ -23,8 +23,6 @@
<pathelement location="war/WEB-INF/classes"/>
<pathelement location="${gwt.user.jar}" />
<pathelement location="${gwt.dev.jar}" />
- <!-- Add any additional non-server libs (such as JUnit) -->
- <fileset dir="war/WEB-INF/lib" includes="**/*.jar"/>
</path>
<target name="javac" description="Compile java source">
=======================================
--- /trunk/plugins/MissingPlugin/war/MissingPlugin.html Mon Dec 6 04:11:44
2010
+++ /trunk/plugins/MissingPlugin/war/MissingPlugin.html Thu Dec 23 13:01:51
2010
@@ -88,11 +88,19 @@
"ie" :
{
"caption" : "Download the GWT Developer Plugin<br>For Internet
Explorer",
- "url" :
"https://dl-ssl.google.com/tag/s/appguid%3D%7B9a5e649a-ec63-4c7d-99bf-75adb345e7e5%7D%26lang%3Den%26appname%3DGWT%2520Developer%2520Plugin%2520for%2520IE%26needsadmin%3Dfalse/gwt/plugins/ie/GwtDevPluginSetup.exe",
+ "url" :
"https://dl-ssl.google.com/tag/s/appguid%3D%7B9a5e649a-ec63-4c7d-99bf-75adb345e7e5%7D%26lang%3Den%26appname%3DGWT%2520Developer%2520Plugin%2520for%2520IE%2520%2528x86%2529%26needsadmin%3Dfalse/gwt/plugins/ie/GwtDevPluginSetup.exe",
"platforms" : "Win x86",
"supported" : true
},
+ "ie-x64" :
+ {
+ "caption" : "Download the GWT Developer Plugin<br>For Internet
Explorer (64-bit)",
+ "url" :
"https://dl-ssl.google.com/tag/s/appguid%3D%7B53dae7d2-8c28-440f-920b-b2d665ce73b2%7D%26lang%3Den%26appname%3DGWT%2520Developer%2520Plugin%2520for%2520IE%2520%2528x64%2529%26needsadmin%3Dfalse/gwt/plugins/ie/GwtDevPluginSetup.exe",
+ "platforms" : "Win x64",
+ "supported" : true
+ },
+
"safari-mac" :
{
"caption" : "Download the GWT Developer Plugin<br>For Safari",
@@ -104,7 +112,6 @@
};
var ua = navigator.userAgent.toLowerCase();
-
var id = 'unknown';
if (ua.indexOf("webkit") != -1) {
if ( (ua.indexOf("iphone") != -1) || (ua.indexOf("ipod") != -1) ) {
@@ -119,7 +126,7 @@
id = 'safari-win';
}
} else if (ua.indexOf("msie") != -1) {
- id = 'ie';
+ id = (ua.indexOf("win64") == -1) ? 'ie' : 'ie-x64';
} else if (ua.indexOf("opera") != -1) {
id = 'opera';
} else if (ua.indexOf("gecko") != -1) {
--
http://groups.google.com/group/Google-Web-Toolkit-Contributors