]> gitweb.factorcode.org Git - factor.git/commit
ui.gadgets.worlds: dispose of the handle after ungrabbing input
authorSlava Pestov <slava@factorcode.org>
Sat, 17 Jul 2010 20:08:36 +0000 (16:08 -0400)
committerSlava Pestov <slava@factorcode.org>
Sat, 17 Jul 2010 20:08:36 +0000 (16:08 -0400)
commit88ca7abd5480a8f9dda8c8a2dade81737bb39949
tree2922352216d6632464bda606096841002a05bac4
parente2ceb113374da17e7749046b1af45e3764d5e383
ui.gadgets.worlds: dispose of the handle after ungrabbing input
basis/ui/gadgets/worlds/worlds.factor
basis/ui/ui.factor