Removed unused dock types
commit42a4d95e5b17bc6f77289b911572a8148b0bc31a
authorRodolfo García Peñas (kix) <kix@kix.es>
Wed, 20 Mar 2013 03:02:16 +0000 (20 04:02 +0100)
committerCarlos R. Mafra <crmafra@gmail.com>
Thu, 21 Mar 2013 10:01:04 +0000 (21 10:01 +0000)
treec85fa439fae3e24c867a49069c5dfebfe473b7ec
parent309d5c0d1a8a136fd163fcc50a08933e22e9b2a4
Removed unused dock types

The dock types NORMAL_DOCK and EXTENDED_DOCK are never used
so can be removed.

kix@debian:~/src/wmaker/git/wmaker-crm-base$ rgrep NORMAL_DOCK *
src/dock.h:#define NORMAL_DOCK    WM_DOCK
kix@debian:~/src/wmaker/git/wmaker-crm-base$ rgrep EXTENDED_DOCK *
src/dock.h:#define EXTENDED_DOCK  WM_CLIP
kix@debian:~/src/wmaker/git/wmaker-crm-base$
src/dock.h