bump the brightness of the active wrap guide
This commit is contained in:
parent
a9bfe97361
commit
05a8409363
2 changed files with 1 additions and 2 deletions
|
@ -559,7 +559,6 @@ impl EditorElement {
|
||||||
corner_radius: 0.,
|
corner_radius: 0.,
|
||||||
});
|
});
|
||||||
}
|
}
|
||||||
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -171,7 +171,7 @@ export default function editor(): any {
|
||||||
line_number_active: foreground(layer),
|
line_number_active: foreground(layer),
|
||||||
rename_fade: 0.6,
|
rename_fade: 0.6,
|
||||||
wrap_guide: with_opacity(foreground(layer), 0.1),
|
wrap_guide: with_opacity(foreground(layer), 0.1),
|
||||||
active_wrap_guide: with_opacity(foreground(layer), 0.1),
|
active_wrap_guide: with_opacity(foreground(layer), 0.2),
|
||||||
unnecessary_code_fade: 0.5,
|
unnecessary_code_fade: 0.5,
|
||||||
selection: theme.players[0],
|
selection: theme.players[0],
|
||||||
whitespace: theme.ramps.neutral(0.5).hex(),
|
whitespace: theme.ramps.neutral(0.5).hex(),
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue