API Version: 41.0
Library Version: 41.0
void pop_selection ( IdeSourceView* self, gpointer user_data )
Reselects a previousl selected range of text that was saved using IdeSourceView::push-selection.
The default handler is called after the handlers added via g_signal_connect().
g_signal_connect()