diff --git a/ummisco.gama.product/extraresources/installer/unix/gama-platform.desktop b/ummisco.gama.product/extraresources/installer/unix/gama-platform.desktop index 71b9ad6a0a..88d9bbf7c3 100644 --- a/ummisco.gama.product/extraresources/installer/unix/gama-platform.desktop +++ b/ummisco.gama.product/extraresources/installer/unix/gama-platform.desktop @@ -1,9 +1,9 @@ [Desktop Entry] Name=Gama Platform Comment=version 1.8.2 -Exec=GDK_BACKEND=x11 /opt/gama-platform/Gama +Exec=env GTK_OVERLAY_SCROLLING=0 GDK_BACKEND=x11 /opt/gama-platform/Gama Icon=/opt/gama-platform/icon.icns Terminal=false Type=Application StartupNotify=true -Categories=TextEditor; \ No newline at end of file +Categories=TextEditor;