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

Rename id_source to id_salt (#5025)

Browse Source 
* Closes <https://github.com/emilk/egui/issues/5020 >
* [x] I have followed the instructions in the PR template
This commit is contained in:
Nicolas
2024-09-02 09:29:01 +02:00
committed by GitHub
parent edea5a40b9
commit be944f0915
19 changed files with 169 additions and 121 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
crates/egui_demo_lib/src/easy_mark/easy_mark_editor.rs
View File

@@ -58,10 +58,10 @@ impl EasyMarkEditor {
if self.show_rendered {
ui.columns(2, |columns| {
ScrollArea::vertical()
.id_source("source")
.id_salt("source")
.show(&mut columns[0], |ui| self.editor_ui(ui));
ScrollArea::vertical()
.id_source("rendered")
.id_salt("rendered")
.show(&mut columns[1], |ui| {
// TODO(emilk): we can save some more CPU by caching the rendered output.
crate::easy_mark::easy_mark(ui, &self.code);
@@ -69,7 +69,7 @@ impl EasyMarkEditor {
});
} else {
ScrollArea::vertical()
.id_source("source")
.id_salt("source")
.show(ui, |ui| self.editor_ui(ui));
}
}