Searched refs:cursor_marker_spinner_changed (Results 1 – 1 of 1) sorted by relevance
1913 static void cursor_marker_spinner_changed(GtkAdjustment *adj, gpointer data) in cursor_marker_spinner_changed() function2865 G_CALLBACK(cursor_marker_spinner_changed), NULL); in do_activate()