Updated Alerts Manager to v1.3.0

Now with a new settings option for choosing how to display notification
pips.