positions_changed


Description:

public signal void positions_changed (List<unowned DockElement> elements)