diff --git a/gui/src/rust/ensogl/lib/theme/src/lib.rs b/gui/src/rust/ensogl/lib/theme/src/lib.rs index 09f2352e4d..27932a7982 100644 --- a/gui/src/rust/ensogl/lib/theme/src/lib.rs +++ b/gui/src/rust/ensogl/lib/theme/src/lib.rs @@ -212,7 +212,7 @@ define_themes! { [light:0, dark:1] graph_editor { node { background = Rgba(0.984,0.992,1.0,1.0) , Lcha(0.2,0.014,0.18,1.0); - background.skipped = Lcha(0.98,0.014,0.18,1.0) , Lcha(0.15,0.014,0.18,1.0); + background.skipped = graph_editor::node::background , Lcha(0.15,0.014,0.18,1.0); selection = selection, selection; selection { size = 10.0 , 5.0; @@ -247,7 +247,7 @@ define_themes! { [light:0, dark:1] } } visualization { - background = Lcha(0.98,0.014,0.18,1.0) , Lcha(0.2,0.014,0.18,1.0); + background = graph_editor::node::background , Lcha(0.2,0.014,0.18,1.0); text = Lcha(0.0,0.0,0.0,0.7) , Lcha(1.0,0.0,0.0,0.7); text.selection = Lcha(0.7,0.0,0.125,0.7) , Lcha(0.7,0.0,0.125,0.7); error { @@ -301,7 +301,7 @@ define_themes! { [light:0, dark:1] } component { label { - background = Lcha(0.98,0.014,0.18,1.0) , Lcha(0.2,0.014,0.18,1.0); + background = graph_editor::node::background , Lcha(0.2,0.014,0.18,1.0); text = Lcha(0.0,0.0,0.0,0.7) , Lcha(1.0,0.0,0.0,0.7); text { offset = 00.0, 00.0; diff --git a/gui/src/rust/ide/view/graph-editor/src/component/visualization/container.rs b/gui/src/rust/ide/view/graph-editor/src/component/visualization/container.rs index 2d4471ed0d..e9bed8e641 100644 --- a/gui/src/rust/ide/view/graph-editor/src/component/visualization/container.rs +++ b/gui/src/rust/ide/view/graph-editor/src/component/visualization/container.rs @@ -95,14 +95,14 @@ pub mod background { let sel_size = style.get_number(theme::selection::size); let sel_offset = style.get_number(theme::selection::offset); - let sel_width = &width - 2.px() + &sel_offset.px() * 2.0 * &selection; - let sel_height = &height - 2.px() + &sel_offset.px() * 2.0 * &selection; + let sel_width = &width - 1.px() + &sel_offset.px() * 2.0 * &selection; + let sel_height = &height - 1.px() + &sel_offset.px() * 2.0 * &selection; let sel_radius = &corner_radius + &sel_offset.px(); let select = Rect((&sel_width,&sel_height)).corners_radius(&sel_radius); let sel2_width = &width - 2.px() + &(sel_size + sel_offset).px() * 2.0 * &selection; let sel2_height = &height - 2.px() + &(sel_size + sel_offset).px() * 2.0 * &selection; - let sel2_radius = &corner_radius + &(sel_size + sel_offset).px(); + let sel2_radius = &corner_radius + &sel_offset.px() + &sel_size.px() * &selection; let select2 = Rect((&sel2_width,&sel2_height)).corners_radius(&sel2_radius); let select = select2 - select;