From 703188c0f8d8a5de569839007b46488851c08c63 Mon Sep 17 00:00:00 2001
From: Wong Ding Feng <dingfengwong@gmail.com>
Date: Fri, 27 Feb 2026 01:01:35 +0800
Subject: [PATCH] aeu

---
 doom.d/config.el               | 2 +-
 doom.d/init.el                 | 2 +-
 home-manager/modules/kitty.nix | 1 +
 3 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/doom.d/config.el b/doom.d/config.el
index 9de2ecf..ee452af 100644
--- a/doom.d/config.el
+++ b/doom.d/config.el
@@ -89,7 +89,7 @@
 (when (eq system-type 'darwin)
   ;; Use Command key as Meta
   (setq mac-command-modifier 'meta
-u       mac-option-modifier 'super)
+        mac-option-modifier 'super)
   ;; Enable menu-bar for yabai tiling compatibility
   ;; Without this, yabai can't detect Emacs windows properly
   (menu-bar-mode 1))
diff --git a/doom.d/init.el b/doom.d/init.el
index f5eee98..985e7e4 100644
--- a/doom.d/init.el
+++ b/doom.d/init.el
@@ -119,7 +119,7 @@
        (cc +lsp)         ; C > C++ == 1
        clojure           ; java with a lisp
        common-lisp       ; if you've seen one lisp, you've seen them all
-       coq               ; proofs-as-programs
+       ;;coq               ; proofs-as-programs
        ;;crystal           ; ruby at the speed of c
        ;;csharp            ; unity, .NET, and mono shenanigans
        data              ; config/data formats
diff --git a/home-manager/modules/kitty.nix b/home-manager/modules/kitty.nix
index cfd5406..8d324f6 100644
--- a/home-manager/modules/kitty.nix
+++ b/home-manager/modules/kitty.nix
@@ -67,6 +67,7 @@
       macos_quit_when_last_window_closed = "no";
       macos_colorspace = "default";
       macos_show_window_title_in = "window";
+      macos_option_as_alt = "yes";
     };
   };
 }