Hi, I read on an old MonoDevelop homepage, which discusses recent bugs, that there is a solution for the problem, that GTK doesn't support binding the alt key. It says:

Alt-arrow navigation by words doesn’t work in GTK text widgets; GTK doesn’t support binding the alt key (but the MD command system has a workaround).

Has anyone an idea, what is meant by "but the MD command system has a workaround"?
This might help a lot, if this command system also exists in xamarin. But I have no idea, how to access it.