API Version: 42.0
Library Version: 42.0
Generated by gi-docgen 2023.1
since: 3.32
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()