diff options
author | Sébastien Wilmet <swilmet@gnome.org> | 2015-08-09 16:59:39 +0200 |
---|---|---|
committer | Sébastien Wilmet <swilmet@gnome.org> | 2015-08-09 17:23:13 +0200 |
commit | e471a4cdc856f45c831416a4a67eddee1f6876d0 (patch) | |
tree | ce0bcb28fcc21737f3bc623cdd989b3a1dec084b /gtksourceview | |
parent | 4a3d5e0979d2ce04b26dc61351af76a17221e82e (diff) | |
download | gtksourceview-e471a4cdc856f45c831416a4a67eddee1f6876d0.tar.gz |
UndoManagerDefault: fix warning
Diffstat (limited to 'gtksourceview')
-rw-r--r-- | gtksourceview/gtksourceundomanagerdefault.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gtksourceview/gtksourceundomanagerdefault.c b/gtksourceview/gtksourceundomanagerdefault.c index 379579a4..3a059064 100644 --- a/gtksourceview/gtksourceundomanagerdefault.c +++ b/gtksourceview/gtksourceundomanagerdefault.c @@ -372,7 +372,9 @@ check_history_size (GtkSourceUndoManagerDefault *manager) return; } - while (manager->priv->action_groups->length > manager->priv->max_undo_levels) + g_return_if_fail (manager->priv->max_undo_levels > 0); + + while (manager->priv->action_groups->length > (guint)manager->priv->max_undo_levels) { /* Strip redo action groups first. */ if (manager->priv->location != NULL) |