Bug#1002309: Further info

[Maxime Chambonnet]

 > 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