> What is the name of this feature in the user interface, so that we can > search for it in the source code? Is it an extension or is it built-in > to gnome-shell?
The feature is hot-corner I believe, built-in Gnome. > Can you reproduce this issue without dash-to-dock being enabled? I couldn't reproduce within a few days: I'll close this issue and open one at dash-to-dock. BR, Maxime