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

Fixing vis background and artifacts on visualizations (https://github.com/enso-org/ide/pull/1433)

Browse Source 
Original commit: 4c31fc7eef
This commit is contained in:
Wojciech Daniło 2021-04-02 16:33:06 +02:00 committed by GitHub
parent cac873ff1c
commit 3f2ca4dad5
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gui/src/rust/ensogl/lib/theme/src/lib.rs
View File

@ -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;

6
gui/src/rust/ide/view/graph-editor/src/component/visualization/container.rs
View File

@ -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;