add menu option for retaining color on strand selection

lib/src/actions/actions.dart

@@ -4348,6 +4348,25 @@ abstract class DisablePngCachingDnaSequencesSet
       _$disablePngCachingDnaSequencesSetSerializer;
 }
 
+abstract class RetainStrandColorOnSelectionSet
+    with BuiltJsonSerializable
+    implements Action, Built<RetainStrandColorOnSelectionSet, RetainStrandColorOnSelectionSetBuilder> {
+  bool get retain_strand_color_on_selection;
+
+  /************************ begin BuiltValue boilerplate ************************/
+  factory RetainStrandColorOnSelectionSet(bool retain_strand_color_on_selection) =>
+      RetainStrandColorOnSelectionSet.from(
+          (b) => b..retain_strand_color_on_selection = retain_strand_color_on_selection);
+
+  factory RetainStrandColorOnSelectionSet.from(
+      [void Function(RetainStrandColorOnSelectionSetBuilder) updates]) = _$RetainStrandColorOnSelectionSet;
+
+  RetainStrandColorOnSelectionSet._();
+
+  static Serializer<RetainStrandColorOnSelectionSet> get serializer =>
+      _$retainStrandColorOnSelectionSetSerializer;
+}
+
 abstract class DisplayReverseDNARightSideUpSet
     with BuiltJsonSerializable
     implements Action, Built<DisplayReverseDNARightSideUpSet, DisplayReverseDNARightSideUpSetBuilder> {

lib/src/reducers/app_ui_state_reducer.dart

@@ -213,6 +213,9 @@ int slice_bar_offset_set_reducer(int _, actions.SliceBarOffsetSet action) => act
 bool disable_png_caching_dna_sequences_reducer(bool _, actions.DisablePngCachingDnaSequencesSet action) =>
     action.disable_png_caching_dna_sequences;
 
+bool retain_strand_color_on_selection_reducer(bool _, actions.RetainStrandColorOnSelectionSet action) =>
+    action.retain_strand_color_on_selection;
+
 bool display_reverse_DNA_right_side_up_reducer(bool _, actions.DisplayReverseDNARightSideUpSet action) =>
     action.display_reverse_DNA_right_side_up;
 
@@ -434,6 +437,7 @@ AppUIStateStorables app_ui_state_storable_local_reducer(AppUIStateStorables stor
     ..show_slice_bar = TypedReducer<bool, actions.ShowSliceBarSet>(show_slice_bar_reducer)(storables.show_slice_bar, action)
     ..slice_bar_offset = TypedReducer<int, actions.SliceBarOffsetSet>(slice_bar_offset_set_reducer)(storables.slice_bar_offset, action)
     ..disable_png_caching_dna_sequences = TypedReducer<bool, actions.DisablePngCachingDnaSequencesSet>(disable_png_caching_dna_sequences_reducer)(storables.disable_png_caching_dna_sequences, action)
+    ..retain_strand_color_on_selection = TypedReducer<bool, actions.RetainStrandColorOnSelectionSet>(retain_strand_color_on_selection_reducer)(storables.retain_strand_color_on_selection, action)
     ..display_reverse_DNA_right_side_up = TypedReducer<bool, actions.DisplayReverseDNARightSideUpSet>(display_reverse_DNA_right_side_up_reducer)(storables.display_reverse_DNA_right_side_up, action)
     ..local_storage_design_choice = TypedReducer<LocalStorageDesignChoice, actions.LocalStorageDesignChoiceSet>(local_storage_design_choice_reducer)(storables.local_storage_design_choice, action).toBuilder()
     ..clear_helix_selection_when_loading_new_design = TypedReducer<bool, actions.ClearHelixSelectionWhenLoadingNewDesignSet>(clear_helix_selection_when_loading_new_design_set_reducer)(storables.clear_helix_selection_when_loading_new_design, action)

lib/src/serializers.dart

@@ -348,6 +348,7 @@ part 'serializers.g.dart';
   SetDisplayMajorTickWidthsAllHelices,
   SliceBarOffsetSet,
   DisablePngCachingDnaSequencesSet,
+  RetainStrandColorOnSelectionSet,
   DisplayReverseDNARightSideUpSet,
   SliceBarMoveStart,
   SliceBarMoveStop,

lib/src/state/app_ui_state.dart

@@ -233,6 +233,8 @@ abstract class AppUIState with BuiltJsonSerializable implements Built<AppUIState
 
   bool get disable_png_caching_dna_sequences => storables.disable_png_caching_dna_sequences;
 
+  bool get retain_strand_color_on_selection => storables.retain_strand_color_on_selection;
+
   bool get display_reverse_DNA_right_side_up => storables.display_reverse_DNA_right_side_up;
 
   bool get show_mouseover_data => storables.show_mouseover_data;

lib/src/state/app_ui_state_storables.dart

@@ -119,6 +119,8 @@ abstract class AppUIStateStorables
 
   bool get disable_png_caching_dna_sequences;
 
+  bool get retain_strand_color_on_selection;
+
   bool get display_reverse_DNA_right_side_up;
 
   bool get selection_box_intersection;
@@ -173,6 +175,7 @@ abstract class AppUIStateStorables
     b.show_slice_bar = false;
     b.slice_bar_offset = null;
     b.disable_png_caching_dna_sequences = false;
+    b.retain_strand_color_on_selection = false;
     b.display_reverse_DNA_right_side_up = false;
     b.local_storage_design_choice = LocalStorageDesignChoice().toBuilder();
     b.clear_helix_selection_when_loading_new_design = false;

lib/src/view/design_main.dart

@@ -88,6 +88,7 @@ UiFactory<DesignMainProps> ConnectedDesignMain = connect<AppState, DesignMainPro
         ..invert_y = state.ui_state.invert_y
         ..selection_rope = state.ui_state.selection_rope
         ..disable_png_caching_dna_sequences = state.ui_state.disable_png_caching_dna_sequences
+        ..retain_strand_color_on_selection = state.ui_state.retain_strand_color_on_selection
         ..display_reverse_DNA_right_side_up = state.ui_state.display_reverse_DNA_right_side_up);
     }
   },
@@ -137,6 +138,7 @@ mixin DesignMainPropsMixin on UiProps {
   String displayed_group_name;
   SelectionRope selection_rope;
   bool disable_png_caching_dna_sequences;
+  bool retain_strand_color_on_selection;
   bool display_reverse_DNA_right_side_up;
   BuiltMap<int, Point<num>> helix_idx_to_svg_position_map;
   bool invert_y;
@@ -263,6 +265,7 @@ class DesignMainComponent extends UiComponent2<DesignMainProps> {
           ..only_display_selected_helices = props.only_display_selected_helices
           ..helix_idx_to_svg_position_map = props.helix_idx_to_svg_position_map
           ..disable_png_caching_dna_sequences = props.disable_png_caching_dna_sequences
+          ..retain_strand_color_on_selection = props.retain_strand_color_on_selection
           ..display_reverse_DNA_right_side_up = props.display_reverse_DNA_right_side_up
           ..key = 'dna-sequences')(),
 

lib/src/view/design_main_dna_sequences.dart

@@ -33,6 +33,7 @@ mixin DesignMainDNASequencesProps on UiProps {
   bool only_display_selected_helices;
   BuiltMap<int, Point<num>> helix_idx_to_svg_position_map;
   bool disable_png_caching_dna_sequences;
+  bool retain_strand_color_on_selection;
   bool display_reverse_DNA_right_side_up;
 }
 

lib/src/view/menu.dart

@@ -89,6 +89,7 @@ UiFactory<MenuProps> ConnectedMenu = connect<AppState, MenuProps>(
       ..show_slice_bar = state.ui_state.show_slice_bar
       ..show_mouseover_data = state.ui_state.show_mouseover_data
       ..disable_png_caching_dna_sequences = state.ui_state.disable_png_caching_dna_sequences
+      ..retain_strand_color_on_selection = state.ui_state.retain_strand_color_on_selection
       ..display_reverse_DNA_right_side_up = state.ui_state.display_reverse_DNA_right_side_up
       ..local_storage_design_choice = state.ui_state.local_storage_design_choice
       ..clear_helix_selection_when_loading_new_design =
@@ -151,6 +152,7 @@ mixin MenuPropsMixin on UiProps {
   bool show_loopout_extension_length;
   bool show_mouseover_data;
   bool disable_png_caching_dna_sequences;
+  bool retain_strand_color_on_selection;
   bool display_reverse_DNA_right_side_up;
   bool default_crossover_type_scaffold_for_setting_helix_rolls;
   bool default_crossover_type_staple_for_setting_helix_rolls;
@@ -1141,6 +1143,19 @@ debugging, but be warned that it will be very slow to render a large number of D
           props.dispatch(actions.DisablePngCachingDnaSequencesSet(!props.disable_png_caching_dna_sequences));
         }
         ..key = 'disable-png-caching-dna-sequences')(),
+      (MenuBoolean()
+        ..value = props.retain_strand_color_on_selection
+        ..display = 'Retain strand color on selection'
+        ..tooltip = '''\
+Selected strands are normally highlighted in hot pink, which overrides the strand's color.
+Select this option to not override the strand's color when it is selected.
+A highlighting effect will still appear.
+        '''
+        ..name = 'retain-strand-color-on-selection'
+        ..onChange = (_) {
+          props.dispatch(actions.RetainStrandColorOnSelectionSet(!props.retain_strand_color_on_selection));
+        }
+        ..key = 'retain-strand-color-on-selection')(),
     ];
   }