lua : move view_changed event out of the GTK thread
lua : fix shortcuts not working