GitLab repository storage has been migrated to hashed layout. Please contact Infrastructure team if you notice any issues with repositories or hooks.

Commit 70a854a5 authored by Christian Hergert's avatar Christian Hergert

gtksourceview: delete selection when indenting

When we auto-indent, we should delete the selected text just like we do
when there is no auto-indent. However, we should still indent after that
text is deleted.

Fixes #60
parent 845e543b
......@@ -4089,8 +4089,14 @@ gtk_source_view_key_press_event (GtkWidget *widget,
return GDK_EVENT_STOP;
}
/* If an input method has inserted some text while handling the key press event,
* the cur iterm may be invalid, so get the iter again */
/* Delete any selected text to preserve behavior without auto-indent */
gtk_text_buffer_delete_selection (buf,
TRUE,
gtk_text_view_get_editable (GTK_TEXT_VIEW (view)));
/* If an input method or deletion has inserted some text while handling the
* key press event, the cur iterm may be invalid, so get the iter again
*/
gtk_text_buffer_get_iter_at_mark (buf, &cur, mark);
/* Insert new line and auto-indent. */
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment