Real-time dock left-right swapping
commit5e004d5f117160becddc0256cc989ff2f40bf487
authorDaniel Déchelotte <yo.dan@free.fr>
Thu, 11 Apr 2013 23:42:43 +0000 (12 01:42 +0200)
committerCarlos R. Mafra <crmafra@gmail.com>
Fri, 12 Apr 2013 01:14:10 +0000 (12 02:14 +0100)
tree4643a048525ce0fa45e76544a665c3f2754dd89d
parentcf5fdca63de9612a3acadbde510f40f7aada0d67
Real-time dock left-right swapping

No more ghost dock when switching sides: the real swap happens
immediately, you can still adjust vertically afterwards. Removed two
functions in superfluous that are no longer used
src/dock.c
src/superfluous.c
src/superfluous.h