| <head> |
| <style> |
| body { |
| width: 20em; |
| } |
| </style> |
| <script> |
| function getParam(key) { |
| var idx = window.location.search.indexOf(key + "="); |
| var value = ''; |
| if (idx >= 0) { |
| idx += key.length + 1; |
| value = window.location.search.substring(idx).split('&')[0]; |
| } |
| return value; |
| } |
| |
| function init() { |
| var permission = getParam('permission'); |
| var host = getParam('host'); |
| var code = getParam('codeserver'); |
| var message=''; |
| |
| if (permission == 'include') { |
| message = 'The web and code server (' + host + '/' + code + ') is allowed to use the plugin'; |
| } else if (permission == 'exclude') { |
| message = 'The web and code server (' + host + '/' + code + ') has been been blacklisted.'; |
| } else if (permission == 'unknown') { |
| message = 'The web and code server (' + host + '/' + code + ') is unknown to the plugin.'; |
| } |
| |
| document.getElementById('message').innerText = message; |
| } |
| |
| function updateConfiguration() { |
| var url = 'DevModeOptions.html?host=' + getParam('host') + '&codeserver=' + getParam('codeserver'); |
| url = chrome.extension.getURL(url); |
| chrome.tabs.create({'url' : url}); |
| } |
| </script> |
| </head> |
| <body onload='javascript:init()'> |
| <h3>GWT Developer Plugin</h3> |
| <div id='message'></div> |
| <br/> |
| <button onclick= "updateConfiguration()">Update Your Configuration</button> |
| </p> |
| </body> |
