mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-22 05:48:01 +01:00
As pointed by Coverity, there was a check for null pointer on scr->dock_dots, but this check was not made in the 2nd use of it, done if the HIDDENDOT feature was enabled. Investigation show that it is not possible that this pointer could be created NULL, so let's remove the unneeded check. Signed-off-by: Christophe CURIS <christophe.curis@free.fr> Signed-off-by: Carlos R. Mafra <crmafra@gmail.com>
34 KiB
34 KiB