fixing #3379

gama-platform · May 8, 2022 · 02602bd · 02602bd
1 parent 9e26bf5
commit 02602bd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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;
+Categories=TextEditor;