Change pin icon if there are pinned messages

Right now the pin icon (button) looks the same both in the case that there are no pinned messages and that there are. Since pinned messages are usually important, it should be obvious to the users that they exist. A simple UI change like an added red dot or similar should suffice.