3 ms·What distro/DE? I'm using it under gnome 3 and its looking fine here.by ergo14 10y agoWhat distro/DE? I'm using it under gnome 3 and its looking fine here.deleted 10y ago[deleted]staticelf 10y agoRed Hat enterprise desktop, I also have Gnome 3 and tried Webstorm recently and was very disappointed.ergo14 10y agoMight that be related to some very old gnome or java version?