gui/macosx: prefs_widget: remove unnecessary cast
authorFilip Roséen <filip@atch.se>
Wed, 10 May 2017 01:43:35 +0000 (03:43 +0200)
committerMarvin Scholz <epirat07@gmail.com>
Tue, 16 May 2017 14:52:51 +0000 (16:52 +0200)
commitb836e4454a868deb7fcabe0ce9f040e6fd0f7667
tree3831c712834b1372a4a04da30f7d25ff9aaa6579
parent275286501452777ea9a2d3f19612886416646672
gui/macosx: prefs_widget: remove unnecessary cast

Signed-off-by: Marvin Scholz <epirat07@gmail.com>
modules/gui/macosx/prefs_widgets.m