[polari] chatView: Delete marks that are no longer used

[Florian Müllner <fmuellner src gnome org>]

commit 7fe75c9da7cfce67761a52098f748c58c356f299
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Nov 13 17:19:04 2013 +0100

    chatView: Delete marks that are no longer used

 src/chatView.js |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/src/chatView.js b/src/chatView.js
index 805ead3..1454a2c 100644
--- a/src/chatView.js
+++ b/src/chatView.js
@@ -289,6 +289,8 @@ const ChatView = new Lang.Class({
 
     _pendingMessageRemoved: function(channel, message) {
         let [id,] = message.get_pending_message_id();
+        if (this._pending[id])
+            this._view.buffer.delete_mark(this._pending[id]);
         delete this._pending[id];
     },