ui/cocoa/WindowManager.h

changeset 1176
87a906a990e3
parent 1174
8b8da1adef7d
--- a/ui/cocoa/WindowManager.h	Sat Jun 06 18:08:51 2026 +0200
+++ b/ui/cocoa/WindowManager.h	Sat Jun 06 18:37:04 2026 +0200
@@ -40,4 +40,6 @@
 
 - (void)closeWindow:(NSWindow*)win;
 
+- (void)shutdown;
+
 @end

mercurial