Marco, I tried the extension level patch at https://github.com/micheleg/dash- to-dock/issues/128#issuecomment-432913072.
Here are my findings... #1 It worked great for preventing two instances of am application from launching when touching an icon on the dock. #2 However, touching the App Grid Icon still does not work. (It seems like the App Grid is unresponsive, but what is really happening is that the applications overview appears briefly and suddenly disappears, as if you had tapped on the App grid Icon twice). Does the fix at https://gitlab.gnome.org/GNOME/gnome- shell/merge_requests/272 resolve item #2 above? System Info... $ lsb_release --all No LSB modules are available. Distributor ID: Ubuntu Description: Ubuntu 18.10 Release: 18.10 Codename: cosmic $ gnome-shell --version GNOME Shell 3.30.1 $ uname -r 4.18.0-10-generic -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1745888 Title: Two instances of a program launch whenever you touch a favorites icon Status in OEM Priority Project: Confirmed Status in gnome-shell package in Ubuntu: In Progress Bug description: Using a touch screen, if you tap on a favorites icon on the ubuntu dock, two (or more) instances of an application launch. ProblemType: Bug DistroRelease: Ubuntu 17.10 Package: gnome-shell-extension-ubuntu-dock 0.7.1 ProcVersionSignature: Ubuntu 4.13.0-32.35-generic 4.13.13 Uname: Linux 4.13.0-32-generic x86_64 NonfreeKernelModules: wl ApportVersion: 2.20.7-0ubuntu3.7 Architecture: amd64 CurrentDesktop: GNOME Date: Sun Jan 28 19:47:17 2018 InstallationDate: Installed on 2018-01-28 (1 days ago) InstallationMedia: Ubuntu 17.10.0 2018.01.26 amd64 "Custom Artful Aardvark" PackageArchitecture: all ProcEnviron: TERM=xterm-256color PATH=(custom, no user) XDG_RUNTIME_DIR=<set> LANG=en_US.UTF-8 SHELL=/bin/bash SourcePackage: gnome-shell-extension-ubuntu-dock UpgradeStatus: No upgrade log present (probably fresh install) To manage notifications about this bug go to: https://bugs.launchpad.net/oem-priority/+bug/1745888/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
