#!/bin/bash
# ***** script to launch DevicePropertiesEditor ** 30 Dec 2014 WB *****
#fix Ubuntu Unity problem not displaying sliders set LIBOVERLAY_SCROLLBAR to 0
export LIBOVERLAY_SCROLLBAR=0
#fix GTK3 SWT incompatibility
export SWT_GTK3=0

echo java -Dfile.encoding=UTF-8 -Xms32m -Xmx512m -classpath ./DataExplorer.jar gde.ui.dialog.edit.DevicePropertiesEditor
java -Dfile.encoding=UTF-8 -Xms32m -Xmx512m -classpath ./DataExplorer.jar gde.ui.dialog.edit.DevicePropertiesEditor

