--- a/ui/cocoa/toolkit.m Thu Apr 03 14:16:41 2014 +0200
+++ b/ui/cocoa/toolkit.m Fri Apr 04 11:29:17 2014 +0200
@@ -69,7 +69,7 @@
}
void ui_set_enabled(UIWIDGET widget, int enabled) {
- [widget setEnabled:enabled];
+ //[widget setEnabled:enabled];
}
void ui_main() {