migrations/egui
1
0
Fork 0
mirror of https://github.com/emilk/egui.git synced 2026-09-03 07:10:04 -04:00
Code Activity

Replace every ... with … like some sort of crazy person

Browse Source 
Also fix some small typos

Closes https://github.com/emilk/egui/pull/736
This commit is contained in:
Emil Ernerfeldt
2021-10-13 11:52:34 +02:00
parent 85941033e8
commit 6f699b3391
21 changed files with 35 additions and 35 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
egui_demo_lib/src/apps/demo/misc_demo_window.rs
View File

@@ -163,7 +163,7 @@ impl Widgets {
ui.heading("The name of the tooltip");
ui.horizontal(|ui| {
ui.label("This tooltip was created with");
ui.monospace(".on_hover_ui(...)");
ui.monospace(".on_hover_ui(…)");
});
let _ = ui.button("A button you can never press");
};