djkato/egui
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

[style] Tweak clip_rect_margin to allow frames around ScrollArea:s

Browse source
This commit is contained in:
Emil Ernerfeldt 2020-11-27 15:46:16 +01:00
parent 201586d512
commit b1b34de4ee
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
egui/src/style.rs
View file

@ -262,7 +262,7 @@ impl Default for Visuals {
window_corner_radius: 10.0, window_corner_radius: 10.0,
resize_corner_size: 12.0, resize_corner_size: 12.0,
text_cursor_width: 2.0, text_cursor_width: 2.0,
clip_rect_margin: 3.0, clip_rect_margin: 1.0, // should be half the size of the widest frame stroke
debug_expand_width: false, debug_expand_width: false,
debug_expand_height: false, debug_expand_height: false,
debug_resize: false, debug_resize: false,