From b46b9e225fe23717412f58b56802b8dd0817316d Mon Sep 17 00:00:00 2001
From: Emil Ernerfeldt <emil.ernerfeldt@gmail.com>
Date: Wed, 10 Jun 2026 21:45:13 +0200
Subject: [PATCH] Formatting fixes: fix red main (#8232)

* I accidentally merged https://github.com/emilk/egui/pull/8127 without
all of its checks having been run.

I've now marked a few CI items as required
---
 crates/egui/src/data/key.rs | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/crates/egui/src/data/key.rs b/crates/egui/src/data/key.rs
index edcc58f42..805379f17 100644
--- a/crates/egui/src/data/key.rs
+++ b/crates/egui/src/data/key.rs
@@ -197,18 +197,25 @@ pub enum Key {
     // `Event::Key` presses.
     /// Left Shift key.
     ShiftLeft,
+
     /// Right Shift key.
     ShiftRight,
+
     /// Left Control key.
     ControlLeft,
+
     /// Right Control key.
     ControlRight,
+
     /// Left Alt / Option key.
     AltLeft,
-    /// Right Alt / AltGr / Option key.
+
+    /// Right Alt / `AltGr` / Option key.
     AltRight,
+
     /// Left Super / Meta / Command / Windows key.
     SuperLeft,
+
     /// Right Super / Meta / Command / Windows key.
     SuperRight,
 
@@ -219,7 +226,6 @@ pub enum Key {
     /// on ISO layouts. On French AZERTY it produces `<>|`; on UK
     /// QWERTY a secondary `\` / `|`. Missing from US ANSI keyboards.
     IntlBackslash,
-
     // When adding keys, remember to also update:
     // * crates/egui-winit/src/lib.rs
     // * Key::ALL