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

fix: Avoid clipping the edges of the multi port shape. (https://github.com/enso-org/ide/pull/586)

Browse Source 
Original commit: 6b89b6830f
This commit is contained in:
Michael Mauderer 2020-06-28 20:06:18 +02:00 committed by GitHub
parent 79421d83e3
commit d770f9b247
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gui/src/rust/lib/graph-editor/src/component/node/port/output.rs
View File

@ -46,6 +46,7 @@ const HIDE_DELAY_DURATION : f32 = 150.0;
const SHAPE_HOVER_AREA_SIZE : f32 = 20.0;
const SHAPE_MAX_WIDTH : f32 = 4.0;
const INFINITE : f32 = 99999.0;
// ==================
@ -370,8 +371,8 @@ impl ShapeView {
shape.padding_left.set(gap_width * 0.5);
shape.padding_right.set(-gap_width * 0.5);
}
views[0] .shape.padding_left .set(0.0);
views[views.len() - 1].shape.padding_right.set(0.0);
views[0] .shape.padding_left.set(-INFINITE);
views[views.len() - 1].shape.padding_right.set(INFINITE);
}
}
}