APaned.addOnMoveHandle((GtkScrollType, Paned p) { });

Is never called. Is there something I have to do to make this work?