Florian Müllner 4b95be6a95 dash: Make sure _clearDragPlaceholder() resets _dragPlaceholderPos
The function currently only resets the placeholder position if
there is a placeholder; this is not necessarily true, as the
placeholder may be reset outside _clearDragPlaceholder().
If this happens, the placeholder will temporarily stop working
for the "old" position (and permanently if it's the only position).
Just reset the position unconditionally.

https://bugzilla.gnome.org/show_bug.cgi?id=684618
2013-06-05 15:32:43 +02:00
..
2013-05-09 09:49:12 -04:00
2013-02-22 09:46:30 +01:00
2013-05-22 12:11:19 -04:00
2013-05-13 18:34:26 -04:00
2013-04-06 11:10:30 -04:00
2013-03-11 10:35:42 +01:00