[jbosstools-commits] JBoss Tools SVN: r41123 - in trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim: resources/config and 1 other directories.

Author: yradtsevich Date: 2012-05-17 13:07:07 -0400 (Thu, 17 May 2012) New Revision: 41123 Modified: trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/model/Device.java trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/model/DevicesListStorage.java trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/resources/config/devices.cfg trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/BrowserSim.java trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/EditDeviceDialog.java trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/ManageDevicesDialog.java trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/Messages.java trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/messages.properties Log: https://issues.jboss.org/browse/JBIDE-11896 : BrowserSim: pixel ratio problem - added pixel ratio property for devices Modified: trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/model/Device.java =================================================================== --- trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/model/Device.java 2012-05-17 16:24:06 UTC (rev 41122) +++ trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/model/Device.java 2012-05-17 17:07:07 UTC (rev 41123) @@ -10,23 +10,35 @@ ******************************************************************************/ package org.jboss.tools.vpe.browsersim.model; +import java.text.DecimalFormat; +import java.text.DecimalFormatSymbols; + /** * @author Yahor Radtsevich (yradtsevich) */ public class Device { public static final int DEFAULT_SIZE = -1; + public static final DecimalFormat PIXEL_RAIO_FORMAT = new DecimalFormat("0.###"); //$NON-NLS-1$ + static { + DecimalFormatSymbols formatSymbols = new DecimalFormatSymbols(); + formatSymbols.setDecimalSeparator('.'); + PIXEL_RAIO_FORMAT.setDecimalFormatSymbols(formatSymbols); + } private String name; private int width; private int height; + private double pixelRatio; private String userAgent; private String skinId; - public Device(String name, int width, int height, String userAgent, String skinId) { + + public Device(String name, int width, int height, double pixelRatio, String userAgent, String skinId) { this.name = name; this.width = width; this.height = height; + this.pixelRatio = pixelRatio; this.userAgent = userAgent; this.skinId = skinId; } @@ -50,4 +62,8 @@ public String getSkinId() { return skinId; } + + public double getPixelRatio() { + return pixelRatio; + } } Modified: trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/model/DevicesListStorage.java =================================================================== --- trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/model/DevicesListStorage.java 2012-05-17 16:24:06 UTC (rev 41122) +++ trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/model/DevicesListStorage.java 2012-05-17 17:07:07 UTC (rev 41123) @@ -18,6 +18,7 @@ import java.io.IOException; import java.io.InputStream; import java.io.InputStreamReader; +import java.text.ParseException; import java.util.ArrayList; import java.util.List; import java.util.regex.Matcher; @@ -34,7 +35,7 @@ private static final String DEFAULT_PREFERENCES_RESOURCE = "config/devices.cfg"; private static final String USER_PREFERENCES_FOLDER = "org.jboss.tools.vpe.browsersim"; private static final String USER_PREFERENCES_FILE = "devices.cfg"; - private static final int CURRENT_CONFIG_VERSION = 5; + private static final int CURRENT_CONFIG_VERSION = 6; public static void saveUserDefinedDevicesList(DevicesList devicesList) { File configFolder = new File(USER_PREFERENCES_FOLDER); @@ -72,7 +73,7 @@ } if (devicesList == null) { - Device device = new Device("Default", 1024, 768, null, null); + Device device = new Device("Default", 1024, 768, 1.0, null, null); List<Device> devices = new ArrayList<Device>(); devices.add(device); devicesList = new DevicesList(devices, 0, true, null); @@ -98,6 +99,8 @@ writer.write('\t'); writer.write(encode( String.valueOf(device.getHeight()) )); writer.write('\t'); + writer.write(encode( Device.PIXEL_RAIO_FORMAT.format(device.getPixelRatio()) )); + writer.write('\t'); if (device.getUserAgent() != null) { writer.write( encode(device.getUserAgent() )); } @@ -164,21 +167,30 @@ } } - Pattern devicePattern = Pattern.compile("^(.*)\\t(\\-?[0-9]+)\\t(\\-?[0-9]+)\\t(.+)?\\t(.+)?$"); + Pattern devicePattern = Pattern.compile("^(.*)\\t([0-9]+)\\t([0-9]+)\\t([0-9]*\\.?[0-9]*)\\t(.+)?\\t(.+)?$"); devices = new ArrayList<Device>(); while ((nextLine = reader.readLine()) != null) { Matcher deviceMatcher = devicePattern.matcher(nextLine); if (deviceMatcher.matches()) { + double pixelRatio; + try { + pixelRatio = Device.PIXEL_RAIO_FORMAT.parse(deviceMatcher.group(4)).doubleValue(); + } catch (ParseException e) { + pixelRatio = 1.0; + e.printStackTrace(); + } + devices.add(new Device( decode(deviceMatcher.group(1)), Integer.parseInt(deviceMatcher.group(2)), Integer.parseInt(deviceMatcher.group(3)), - deviceMatcher.group(4) != null - ? decode(deviceMatcher.group(4)) + pixelRatio, + deviceMatcher.group(5) != null + ? decode(deviceMatcher.group(5)) : null, - deviceMatcher.group(5) != null - ? decode(deviceMatcher.group(5)) + deviceMatcher.group(6) != null + ? decode(deviceMatcher.group(6)) : null )); } Modified: trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/resources/config/devices.cfg =================================================================== --- trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/resources/config/devices.cfg 2012-05-17 16:24:06 UTC (rev 41122) +++ trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/resources/config/devices.cfg 2012-05-17 17:07:07 UTC (rev 41123) @@ -1,12 +1,12 @@ -ConfigVersion=5 +ConfigVersion=6 SelectedDeviceIndex=2 UseSkins=true TruncateWindow= -Desktop (Default User-Agent) 1024 768 -Apple iPad 2 768 1024 Mozilla/5.0 (iPad; U; CPU OS 4_3_1 like Mac OS X; en-us) AppleWebKit/533.17.9 (KHTML, like Gecko) Version/5.0.2 Mobile/8G4 Safari/6533.18.5 iPhone 4 -Apple iPhone 3 320 480 Mozilla/5.0 (iPhone; U; CPU iPhone OS 4_0 like Mac OS X; en-us) AppleWebKit/532.9 (KHTML, like Gecko) Version/4.0.5 Mobile/8A293 Safari/6531.22.7 iPhone 3 -Apple iPhone 4 640 960 Mozilla/5.0 (iPhone; U; CPU iPhone OS 4_0 like Mac OS X; en-us) AppleWebKit/532.9 (KHTML, like Gecko) Version/4.0.5 Mobile/8A293 Safari/6531.22.7 iPhone 4 -RIM BlackBerry Bold Touch 9900 640 480 Mozilla/5.0 (BlackBerry; U; BlackBerry 9900; en-US) AppleWebKit/534.1+ (KHTML, like Gecko) Version/6.0.0.246 Mobile Safari/534.1+ Android -Samsung Galaxy S 480 800 Mozilla/5.0 (Linux; U; Android 2.3.3; en-us; GT-I9000 Build/GINGERBREAD) AppleWebKit/533.1 (KHTML, like Gecko) Version/4.0 Mobile Safari/533.1 Android -Samsung Galaxy S II 480 800 Mozilla/5.0 (Linux; U; Android 2.3; en-us; GT-I9100 Build/GRH78) AppleWebKit/533.1 (KHTML, like Gecko) Version/4.0 Mobile Safari/533.1 Android -Samsung Galaxy Tab 10.1 800 1280 Mozilla/5.0 (Linux; U; Android 3.0.1; en-us; GT-P7100 Build/HRI83) AppleWebKit/534.13 (KHTML, like Gecko) Version/4.0 MobileSafari/534.13 Android +Desktop (Default User-Agent) 1024 768 1 +Apple iPad 2 768 1024 1 Mozilla/5.0 (iPad; U; CPU OS 4_3_1 like Mac OS X; en-us) AppleWebKit/533.17.9 (KHTML, like Gecko) Version/5.0.2 Mobile/8G4 Safari/6533.18.5 iPhone 4 +Apple iPhone 3 320 480 1 Mozilla/5.0 (iPhone; U; CPU iPhone OS 4_0 like Mac OS X; en-us) AppleWebKit/532.9 (KHTML, like Gecko) Version/4.0.5 Mobile/8A293 Safari/6531.22.7 iPhone 3 +Apple iPhone 4 640 960 2 Mozilla/5.0 (iPhone; U; CPU iPhone OS 4_0 like Mac OS X; en-us) AppleWebKit/532.9 (KHTML, like Gecko) Version/4.0.5 Mobile/8A293 Safari/6531.22.7 iPhone 4 +RIM BlackBerry Bold Touch 9900 640 480 1 Mozilla/5.0 (BlackBerry; U; BlackBerry 9900; en-US) AppleWebKit/534.1+ (KHTML, like Gecko) Version/6.0.0.246 Mobile Safari/534.1+ Android +Samsung Galaxy S 480 800 1.5 Mozilla/5.0 (Linux; U; Android 2.3.3; en-us; GT-I9000 Build/GINGERBREAD) AppleWebKit/533.1 (KHTML, like Gecko) Version/4.0 Mobile Safari/533.1 Android +Samsung Galaxy S II 480 800 1.5 Mozilla/5.0 (Linux; U; Android 2.3; en-us; GT-I9100 Build/GRH78) AppleWebKit/533.1 (KHTML, like Gecko) Version/4.0 Mobile Safari/533.1 Android +Samsung Galaxy Tab 10.1 800 1280 1 Mozilla/5.0 (Linux; U; Android 3.0.1; en-us; GT-P7100 Build/HRI83) AppleWebKit/534.13 (KHTML, like Gecko) Version/4.0 MobileSafari/534.13 Android Modified: trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/BrowserSim.java =================================================================== --- trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/BrowserSim.java 2012-05-17 16:24:06 UTC (rev 41122) +++ trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/BrowserSim.java 2012-05-17 17:07:07 UTC (rev 41123) @@ -481,15 +481,17 @@ ? DeviceOrientation.PORTRAIT : DeviceOrientation.LANDSCAPE); Rectangle clientArea = getMonitorClientArea(); - skin.setOrientationAndSize( deviceOrientation.getOrientationAngle(), new Point(device.getWidth(), device.getHeight()), + Point size = getSizeInDesktopPixels(device); + skin.setOrientationAndSize( deviceOrientation.getOrientationAngle(), size, getSizeAdvisor()); fixShellLocation(clientArea); deviceOrientation.addObserver(new Observer() { public void update(Observable o, Object arg) { int orientationAngle = ((DeviceOrientation) o).getOrientationAngle(); - - int minSize = Math.min(device.getWidth(), device.getHeight()); - int maxSize = Math.max(device.getWidth(), device.getHeight()); + + Point size = getSizeInDesktopPixels(device); + int minSize = Math.min(size.x, size.y); + int maxSize = Math.max(size.x, size.y); Point browserSize; if (orientationAngle == DeviceOrientation.LANDSCAPE || orientationAngle == DeviceOrientation.LANDSCAPE_INVERTED) { @@ -582,6 +584,22 @@ deviceOrientation.notifyObservers(); } + /** + * See JBIDE-11896 BrowserSim: pixel ratio problem. + * + * On many mobile devices like iPhone 4 1 CSS pixel = 2 device pixels. + */ + protected Point getSizeInDesktopPixels(Device device) { + double pixelRatio = device.getPixelRatio(); + if (device.getPixelRatio() == 0.0) { + pixelRatio = 1.0; + new RuntimeException("Pixel Ratio is 0.0").printStackTrace(); + } + int width = (int) Math.round(device.getWidth() / pixelRatio); + int height = (int) Math.round(device.getHeight() / pixelRatio); + return new Point(width, height); + } + class ControlHandlerImpl implements ControlHandler { private Browser browser; Modified: trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/EditDeviceDialog.java =================================================================== --- trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/EditDeviceDialog.java 2012-05-17 16:24:06 UTC (rev 41122) +++ trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/EditDeviceDialog.java 2012-05-17 17:07:07 UTC (rev 41123) @@ -10,6 +10,7 @@ ******************************************************************************/ package org.jboss.tools.vpe.browsersim.ui; +import java.text.ParseException; import java.util.ArrayList; import java.util.Collections; import java.util.Comparator; @@ -46,6 +47,7 @@ private Text textName; private Text textWidth; private Text textHeight; + private Text textPixelRatio; private Text textUserAgent; private Button checkButtonWidth; private Button checkButtonHeight; @@ -130,6 +132,15 @@ } attachCheckBoxToText(checkButtonHeight, textHeight); + Label labelPixelRatio = new Label(shell, SWT.NONE); + labelPixelRatio.setText(Messages.EditDeviceDialog_PIXEL_RATIO); + textPixelRatio = new Text(shell, SWT.BORDER); + textPixelRatio.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false, 1, 1)); + textPixelRatio.setTextLimit(5); + textPixelRatio.addVerifyListener(new VerifyFloatListener()); + + textPixelRatio.setText(Device.PIXEL_RAIO_FORMAT.format(initialDevice.getPixelRatio())); + checkButtonUserAgent = new Button(shell, SWT.CHECK); checkButtonUserAgent.setText(Messages.EditDeviceDialog_USER_AGENT); checkButtonUserAgent.setSelection(initialDevice.getUserAgent() != null); @@ -168,9 +179,17 @@ buttonOk.setText(Messages.EditDeviceDialog_OK); buttonOk.addSelectionListener(new SelectionAdapter() { public void widgetSelected(SelectionEvent e) { + double pixelRatio; + try { + pixelRatio = Device.PIXEL_RAIO_FORMAT.parse(textPixelRatio.getText()).doubleValue(); + } catch (ParseException e1) { + pixelRatio = 1.0; + } + resultDevice = new Device(textName.getText(), checkButtonWidth.getSelection() ? Integer.valueOf("0" + textWidth.getText()) : Device.DEFAULT_SIZE, //$NON-NLS-1$ checkButtonHeight.getSelection() ? Integer.valueOf("0" + textHeight.getText()) : Device.DEFAULT_SIZE, //$NON-NLS-1$ + pixelRatio, checkButtonUserAgent.getSelection() ? textUserAgent.getText() : null, comboSkin.getSelectionIndex() == 0 ? null : skinIds.get(comboSkin.getSelectionIndex())); shell.close(); @@ -206,6 +225,34 @@ } } +final class VerifyFloatListener implements VerifyListener { + public void verifyText(VerifyEvent e) { + for (char c : e.text.toCharArray()) { + if (!('0' <= c && c <= '9') && c != ',' && c != '.') { + e.doit = false; + return; + } + } + + Text text = (Text) e.widget; + String oldText = text.getText(); + String newText = oldText.substring(0, e.start) + e.text + oldText.substring(e.end); + + int delimiterCounter = 0; + for (char c : newText.toCharArray()) { + if (c == ',' || c == '.') { + delimiterCounter++; + } + } + if (delimiterCounter > 1) { + e.doit = false; + return; + } + + e.text = e.text.replace(',', '.'); + } +} + final class VerifyDigitsListener implements VerifyListener { public void verifyText(VerifyEvent e) { for (char c : e.text.toCharArray()) { Modified: trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/ManageDevicesDialog.java =================================================================== --- trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/ManageDevicesDialog.java 2012-05-17 16:24:06 UTC (rev 41122) +++ trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/ManageDevicesDialog.java 2012-05-17 17:07:07 UTC (rev 41123) @@ -90,7 +90,7 @@ */ private void createContents() { shell = new Shell(getParent(), getStyle()); - shell.setSize(650, 450); + shell.setSize(750, 500); shell.setText(getText()); shell.setLayout(new GridLayout(1, false)); @@ -110,23 +110,27 @@ TableColumn tableColumnName = new TableColumn(table, SWT.NONE); - tableColumnName.setWidth(100); + tableColumnName.setWidth(175); tableColumnName.setText(Messages.ManageDevicesDialog_NAME); TableColumn tableColumnWidth = new TableColumn(table, SWT.NONE); - tableColumnWidth.setWidth(100); + tableColumnWidth.setWidth(75); tableColumnWidth.setText(Messages.ManageDevicesDialog_WIDTH); TableColumn tableColumnHeight = new TableColumn(table, SWT.NONE); - tableColumnHeight.setWidth(100); + tableColumnHeight.setWidth(75); tableColumnHeight.setText(Messages.ManageDevicesDialog_HEIGHT); + TableColumn tableColumnPixelRatio = new TableColumn(table, SWT.NONE); + tableColumnPixelRatio.setWidth(75); + tableColumnPixelRatio.setText(Messages.ManageDevicesDialog_PIXEL_RATIO); + TableColumn tableColumnUseragent = new TableColumn(table, SWT.NONE); - tableColumnUseragent.setWidth(100); + tableColumnUseragent.setWidth(150); tableColumnUseragent.setText(Messages.ManageDevicesDialog_USER_AGENT); TableColumn tableColumnSkin = new TableColumn(table, SWT.NONE); - tableColumnSkin.setWidth(100); + tableColumnSkin.setWidth(75); tableColumnSkin.setText(Messages.ManageDevicesDialog_SKIN); Composite compositeControls = new Composite(devicesGroup, SWT.NONE); @@ -139,7 +143,7 @@ buttonAdd.addSelectionListener(new SelectionAdapter() { public void widgetSelected(SelectionEvent e) { Device newDevice = new EditDeviceDialog(shell, SWT.APPLICATION_MODAL | SWT.SHELL_TRIM, - new Device(Messages.ManageDevicesDialog_NEW_DEVICE, 480, 800, Messages.ManageDevicesDialog_NEW_USER_AGENT, null)).open(); + new Device(Messages.ManageDevicesDialog_NEW_DEVICE, 320, 480, 1.0, Messages.ManageDevicesDialog_NEW_USER_AGENT, null)).open(); if (newDevice != null) { devices.add(newDevice); selectedDeviceIndex = devices.size() - 1; @@ -281,7 +285,7 @@ updateDevices(); } - public void updateDevices() {//TODO + public void updateDevices() { table.removeAll(); for (Device device : devices) { TableItem tableItem = new TableItem(table, SWT.NONE); @@ -289,6 +293,7 @@ device.getName(), device.getWidth() == Device.DEFAULT_SIZE ? Messages.ManageDevicesDialog_DEFAULT : String.valueOf(device.getWidth()), device.getHeight() == Device.DEFAULT_SIZE ? Messages.ManageDevicesDialog_DEFAULT : String.valueOf(device.getHeight()), + Device.PIXEL_RAIO_FORMAT.format(device.getPixelRatio()), device.getUserAgent() == null ? Messages.ManageDevicesDialog_DEFAULT : device.getUserAgent(), device.getSkinId() == null ? Messages.ManageDevicesDialog_NONE : device.getSkinId() }); Modified: trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/Messages.java =================================================================== --- trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/Messages.java 2012-05-17 16:24:06 UTC (rev 41122) +++ trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/Messages.java 2012-05-17 17:07:07 UTC (rev 41123) @@ -17,6 +17,7 @@ */ public class Messages { private static final String BUNDLE_NAME = Messages.class.getName().toString().toLowerCase(); + public static String BrowserSim_ADDRESS; public static String BrowserSim_BROWSER_SIM; @@ -38,6 +39,7 @@ public static String EditDeviceDialog_NAME; public static String EditDeviceDialog_NONE; public static String EditDeviceDialog_OK; + public static String EditDeviceDialog_PIXEL_RATIO; public static String EditDeviceDialog_SKIN; public static String EditDeviceDialog_USER_AGENT; public static String EditDeviceDialog_WIDTH; @@ -60,6 +62,7 @@ public static String ManageDevicesDialog_NEW_USER_AGENT; public static String ManageDevicesDialog_NONE; public static String ManageDevicesDialog_OK; + public static String ManageDevicesDialog_PIXEL_RATIO; public static String ManageDevicesDialog_PREFERENCES; public static String ManageDevicesDialog_PROMPT; public static String ManageDevicesDialog_REMOVE; @@ -77,6 +80,7 @@ public static String SizeWarningDialog_OK; public static String SizeWarningDialog_REMEMBER_MY_DECISION; + static { NLS.initializeMessages(BUNDLE_NAME, Messages.class); } Modified: trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/messages.properties =================================================================== --- trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/messages.properties 2012-05-17 16:24:06 UTC (rev 41122) +++ trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/messages.properties 2012-05-17 17:07:07 UTC (rev 41123) @@ -17,6 +17,7 @@ EditDeviceDialog_MANAGE_DEVICES=Manage Devices EditDeviceDialog_NAME=Name: EditDeviceDialog_NONE=None +EditDeviceDialog_PIXEL_RATIO=Pixel Ratio: EditDeviceDialog_OK=OK EditDeviceDialog_SKIN=Skin: EditDeviceDialog_USER_AGENT=User-Agent: @@ -44,6 +45,7 @@ ManageDevicesDialog_NEW_DEVICE=New Device ManageDevicesDialog_NEW_USER_AGENT=New User-Agent ManageDevicesDialog_OK=OK +ManageDevicesDialog_PIXEL_RATIO=Pixel Ratio ManageDevicesDialog_PREFERENCES=Preferences ManageDevicesDialog_PROMPT=Prompt ManageDevicesDialog_REMOVE=Remove