WPrefs: fix memory leak when saving settings (Coverity #50140 + #50157 + #50159)
commit894d1c80a36a7c5f9fb396f5afb35f0414c9b8ef
authorChristophe CURIS <christophe.curis@free.fr>
Sat, 31 May 2014 17:58:45 +0000 (31 19:58 +0200)
committerCarlos R. Mafra <crmafra@gmail.com>
Sun, 1 Jun 2014 19:35:06 +0000 (1 20:35 +0100)
treed1ae504efc70f0066445adef8867ca531dee8070
parent27a2259934aabb98b90adc633ab8366205284a5e
WPrefs: fix memory leak when saving settings (Coverity #50140 + #50157 + #50159)

As pointed by Coverity, the string returned by 'WMGetTextFieldText' is
allocated dynamically, so it must be freed when not needed anymore.

Signed-off-by: Christophe CURIS <christophe.curis@free.fr>
WPrefs.app/Docks.c
WPrefs.app/Focus.c
WPrefs.app/MouseSettings.c