Bad link in developer.gnome.org documentation page

Mark Osborne <[email protected]> Mon, 24 Oct 2016 20:06:25 -0400

Newsgroups	gmane.comp.gnome.web
Message-ID	<[email protected]>

Hi folks,

I stumbled on the following bad link on page: 
https://developer.gnome.org/gtk3/stable/GtkWidget.html#GtkWidget-button-press-event

The links to GdkEventButton go to 
https://developer.gnome.org/gdk3/stable/gdk4-Event-Structures.html#GdkEventButton 
which returns 404.

Perhaps it should go to 
https://developer.gnome.org/gdk3/stable/gdk3-Event-Structures.html#GdkEventButton 
which is a valid and appropriate page.

Thank you for this great documentation.

Mark Osborne