Improved IntelliJ start script.

diff --git a/tools/open with IntelliJ IDEA b/tools/open with IntelliJ IDEA
index 3d2d379..de9bae5 100755 (executable)
--- a/tools/open with IntelliJ IDEA
+++ b/tools/open with IntelliJ IDEA
@@ -8,12 +8,11 @@
 #
 # Script assumes:
 #
-#    + GNU operating system 
-#    + GNOME desktop environment 
+#    + GNU operating system
 #    + IntelliJ is installed and commandline launcher "idea" is enabled.
 #
 
-cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -e "'$0' T"; exit; fi;
-
+cd "${0%/*}"
 cd ..
-idea .
+
+setsid idea . &>/dev/null