comment regarding #583

src/tools/classic_tools/brushes/brush_simple.py

@@ -31,7 +31,7 @@ def do_brush_operation(self, cairo_context, operation):
 		make it less ugly)."""
 
 		if operation['is_preview']: # Previewing helps performance & debug
-			operation['line_width'] = max(1, int(operation['line_width'] / 2))
+			operation['line_width'] = max(1, int(operation['line_width'] * 0.8))
 			return self.draw_preview(operation, cairo_context)
 
 		if len(operation['path']) < 3:

src/tools/selection_tools/abstract_select.py

@@ -54,6 +54,13 @@ def get_editing_tips(self):
 			label_tip = _("Select an area or right-click on the canvas")
 		return [label_tip]
 
+	# def on_options_changed(self):
+	# 	super().on_options_changed()
+		# TODO changing the value of 'selection-color' or 'selection-extract'
+		# can't have an actual result, because they're parameters of a "define"
+		# operation, which is already applied at the time the user tries to use
+		# another value for these options
+
 	def get_options_model(self):
 		builder = Gtk.Builder.new_from_resource(self.UI_PATH + 'selection.ui')
 		return builder.get_object('options-menu')