changes in API design

cmenu/platform.h

@@ -22,30 +22,25 @@ typedef enum Key {
 	Count_Key
 } Key;
 
-bool KeyIsDown(Key key);
-bool KeyIsUp(Key key);
-bool KeyIsJustPressedOrRepeat(Key key);
-bool KeyIsJustPressed(Key key);
-bool KeyIsJustReleased(Key key);
-bool InputGetNextPrintable(char const *out_key);
+typedef uint32_t CodePoint;
 
-typedef struct Screen {
-	void *handle;
-} Screen;
+bool KeyPressed(Key key);
+bool InputGetNextPrintable(CodePoint const *out_key);
 
 typedef struct Window {
-	int width;
-	int height;
-	void *handle;
-	Screen screen;
+	int const width;
+	int const height;
+	CodePoint *characters;
+	Color *foreground;
+	Color *background;
 } Window;
 
-Screen ScreenGetFocused();
-int ScreenGetWidth(Screen screen);
-int ScreenGetHeight(Screen screen);
-// Make a window specifically suitable for tools like launchers.
-// Always on top, not resizable, closes on lost focus.
-Window ScreenMakeStaticWindow(int x, int y, int pixel_width, int pixel_height);
-void WindowClear(Color color);
+Window *WindowCreate();
+void WindowClear(Window *window, Color color);
+void WindowFlip(Window *window);
+
+// TODO: the platform layer would really update the keys being pressed, and
+// receive a diff in the form of actions. print this line from here and change
+// colors at these points.
 
 #endif /* PLATFORM */

karabiner/.config/karabiner/automatic_backups/karabiner_20260717.json

@@ -35,25 +35,24 @@
                                 "type": "basic"
                             }
                         ]
-                    },
-                    {
-                        "description": "swap alt and cmd",
-                        "enabled": false,
-                        "manipulators": [
-                            {
-                                "from": { "key_code": "left_option" },
-                                "to": [{ "key_code": "left_command" }],
-                                "type": "basic"
-                            },
-                            {
-                                "from": { "key_code": "left_command" },
-                                "to": [{ "key_code": "left_option" }],
-                                "type": "basic"
-                            }
-                        ]
                     }
                 ]
             },
+            "devices": [
+                {
+                    "identifiers": {
+                        "is_keyboard": true,
+                        "product_id": 21042,
+                        "vendor_id": 1155
+                    },
+                    "simple_modifications": [
+                        {
+                            "from": { "key_code": "grave_accent_and_tilde" },
+                            "to": [{ "key_code": "non_us_backslash" }]
+                        }
+                    ]
+                }
+            ],
             "name": "KarabinerTS",
             "selected": true,
             "virtual_hid_keyboard": { "keyboard_type_v2": "iso" }