Script

#!/bin/sh
# change to your location
WEBIDE_HOME=/home/trongkha/App/WebStorm-135.1063
export JAVA_HOME=/usr/lib/jvm/java-1.7.0-openjdk-amd64
# Note: Can modify $WEBIDE_HOME/bin/idea{,64}.vmoptions
# instead of setting here.
# "-Dawt.useSystemAAFontSettings=on" seems worse to me
# "-Dsun.java2d.xrender=true" makes fonts darker
export _JAVA_OPTIONS="-Dawt.useSystemAAFontSettings=lcd \
-Dsun.java2d.xrender=true"
# Having this set makes menu font size smaller (wtf?)
export GNOME_DESKTOP_SESSION_ID=this-is-deprecated
# unset GNOME_DESKTOP_SESSION_ID
exec $WEBIDE_HOME/bin/webstorm.sh "$@"