- radius_button = new PickerButton (SizeType.FINGER_HEIGHT,
- ButtonArrangement.VERTICAL);
- radius_button.set_selector (radius_selector);
- radius_button.set_title (_("Radius"));
- radius_button.set_alignment (0.0f, 0.0f, 0.5f, 0.5f);
- radius_button.set_active (radius / 10);
- dialog.add_action_widget (radius_button, Response.RADIUS);
-
- var action_area = (ButtonBox) dialog.get_action_area ();
- action_area.set_child_secondary (radius_button, true);
+ if (use_radius) {
+ radius_button = new PickerButton (SizeType.FINGER_HEIGHT,
+ ButtonArrangement.VERTICAL);
+ radius_button.set_selector (radius_selector);
+ radius_button.set_title (_("Radius"));
+ radius_button.set_alignment (0.0f, 0.0f, 0.5f, 0.5f);
+ radius_button.set_active (radius / 10);
+ dialog.add_action_widget (radius_button, Response.RADIUS);
+
+ var action_area = (ButtonBox) dialog.get_action_area ();
+ action_area.set_child_secondary (radius_button, true);
+ }