Closing now, as the issue with the launcher loosing track of synaptic after closing software-properties is now tracked by bug #759776.
Closing now, as the issue with the launcher loosing track of synaptic after closing software-properties is now tracked by bug #759776.