Add `typ` to known words (#5754)
This recently started to fail: https://github.com/emilk/egui/actions/runs/13628559355/job/38091065444?pr=5706
This commit is contained in:
parent
e995c4c5b4
commit
6e3575b4c7
|
|
@ -6,6 +6,7 @@
|
||||||
ime = "ime" # Input Method Editor
|
ime = "ime" # Input Method Editor
|
||||||
nknown = "nknown" # part of @55nknown username
|
nknown = "nknown" # part of @55nknown username
|
||||||
ro = "ro" # read-only, also part of the username @Phen-Ro
|
ro = "ro" # read-only, also part of the username @Phen-Ro
|
||||||
|
typ = "typ" # Often used because `type` is a keyword in Rust
|
||||||
|
|
||||||
# I mistype these so often
|
# I mistype these so often
|
||||||
tesalator = "tessellator"
|
tesalator = "tessellator"
|
||||||
|
|
|
||||||
|
|
@ -1101,7 +1101,7 @@ impl RawInput {
|
||||||
system_theme,
|
system_theme,
|
||||||
} = self;
|
} = self;
|
||||||
|
|
||||||
ui.label(format!("Active viwport: {viewport_id:?}"));
|
ui.label(format!("Active viewport: {viewport_id:?}"));
|
||||||
for (id, viewport) in viewports {
|
for (id, viewport) in viewports {
|
||||||
ui.group(|ui| {
|
ui.group(|ui| {
|
||||||
ui.label(format!("Viewport {id:?}"));
|
ui.label(format!("Viewport {id:?}"));
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue