map: use a widget for the slider
map: use a widget for the slider

This still needs some work because scrolling has some delay (possibly
caused within textview). But it's better than it was before and actually
grabs input now.

GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview