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

[button] Implement paint culling for buttons

Browse source
This commit is contained in:
Emil Ernerfeldt 2020-12-12 19:34:18 +01:00
parent 02b1e82a6e
commit 4db9b82435
1 changed files with 21 additions and 19 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
egui/src/widgets/mod.rs
View file

@ -389,6 +389,7 @@ impl Widget for Button {
let id = ui.make_position_id();
let response = ui.interact(rect, id, sense);
if ui.clip_rect().intersects(rect) {
let visuals = ui.style().interact(&response);
let text_cursor = ui
.layout()
@ -410,6 +411,7 @@ impl Widget for Button {
.unwrap_or_else(|| visuals.text_color());
ui.painter()
.galley(text_cursor, galley, text_style, text_color);
}
response
}