From 48ed46c7e896269b0d91cc58e2e8c891e682c6e0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Grisez?= Date: Wed, 1 Apr 2015 11:59:25 +0200 Subject: [PATCH] Rename some widgets --- gtk/parameters.ui | 20 ++++++++------------ 1 file changed, 8 insertions(+), 12 deletions(-) diff --git a/gtk/parameters.ui b/gtk/parameters.ui index baeca55d7..65420eeee 100644 --- a/gtk/parameters.ui +++ b/gtk/parameters.ui @@ -348,7 +348,7 @@ - + True False @@ -404,7 +404,6 @@ 1 2 - 1 @@ -419,7 +418,7 @@ - + True False @@ -493,7 +492,7 @@ - + True False @@ -572,7 +571,7 @@ - + True False @@ -703,7 +702,7 @@ - + True False DSCP fields @@ -729,9 +728,6 @@ 7 - - - @@ -1467,7 +1463,7 @@ False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - + True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -1592,7 +1588,7 @@ - + True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -1848,7 +1844,7 @@ - + True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK