enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-30 16:31:51 +03:00
Code Issues Projects Releases Wiki Activity

Enable multi-select iff cmd is held down during selection. (https://github.com/enso-org/ide/pull/569)

Browse Source 
Original commit: bcaed112fe
This commit is contained in:
Michael Mauderer 2020-06-17 13:01:35 +02:00 committed by GitHub
parent 26212bfe4e
commit f88a1c20fd
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
gui/src/rust/lib/graph-editor/src/lib.rs
View File

@ -1238,6 +1238,14 @@ impl GraphEditorModel {
edges edges
} }
pub fn clear_all_detached_edges(&self) {
let edges = self.edges.detached_source.mem_take();
edges.iter().for_each(|edge| {self.edges.all.remove(edge);});
let edges = self.edges.detached_target.mem_take();
edges.iter().for_each(|edge| {self.edges.all.remove(edge);});
self.check_edge_attachment_status_and_emit_events();
}
fn check_edge_attachment_status_and_emit_events(&self) { fn check_edge_attachment_status_and_emit_events(&self) {
let no_detached_sources = self.edges.detached_source.is_empty(); let no_detached_sources = self.edges.detached_source.is_empty();
let no_detached_targets = self.edges.detached_target.is_empty(); let no_detached_targets = self.edges.detached_target.is_empty();
@ -1645,6 +1653,13 @@ fn new_graph_editor(world:&World) -> GraphEditor {
on_connect_follow_mode <- any(on_output_connect_follow_mode,on_input_connect_follow_mode); on_connect_follow_mode <- any(on_output_connect_follow_mode,on_input_connect_follow_mode);
connect_drag_mode <- any (on_connect_drag_mode,on_connect_follow_mode); connect_drag_mode <- any (on_connect_drag_mode,on_connect_follow_mode);
on_node_output_touch <- node_output_touch.down.constant(());
on_node_input_touch <- node_input_touch.down.constant(());
on_new_edge <- any(&on_node_output_touch, &on_node_input_touch);
deselect_edges <- on_new_edge.gate_not(&keep_selection);
eval_ deselect_edges ( model.clear_all_detached_edges() );
new_output_edge <- node_output_touch.down.map(f_!(model.new_edge_from_output())); new_output_edge <- node_output_touch.down.map(f_!(model.new_edge_from_output()));
new_input_edge <- node_input_touch.down.map(f_!(model.new_edge_from_input())); new_input_edge <- node_input_touch.down.map(f_!(model.new_edge_from_input()));