tiny fix to cocoa backend
commit8d039dde4c93d15c380a07070bab82672886b945
authormgubi <mgubi@64cb5145-927a-446d-8aed-2fb7b4773692>
Fri, 18 Dec 2009 21:44:05 +0000 (18 21:44 +0000)
committermgubi <mgubi@64cb5145-927a-446d-8aed-2fb7b4773692>
Fri, 18 Dec 2009 21:44:05 +0000 (18 21:44 +0000)
treea454521b7e6474c6e867745c49d727d6d7a6fd56
parent062d6d8263973a5ffade2d5a2a5c0795ebb9d47f
tiny fix to cocoa backend

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2897 64cb5145-927a-446d-8aed-2fb7b4773692
src/src/Plugins/Cocoa/aqua_widget.mm