[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.
jbosstools-commits at lists.jboss.org
jbosstools-commits at lists.jboss.org
Thu May 17 13:07:07 EDT 2012
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
More information about the jbosstools-commits
mailing list