[polari] chatView: Replace margin with border windows

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

commit a0c9664b1f2938e4e6b0efdc59f34c06731b935e
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Sep 26 22:24:16 2013 +0200

    chatView: Replace margin with border windows
    
    ... to kill an annoying warning.

 src/chatView.js |    7 ++++++-
 1 files changed, 6 insertions(+), 1 deletions(-)
---
diff --git a/src/chatView.js b/src/chatView.js
index a0ba4fb..f7dcf30 100644
--- a/src/chatView.js
+++ b/src/chatView.js
@@ -175,8 +175,13 @@ const ChatView = new Lang.Class({
         this.widget.resize_mode = Gtk.ResizeMode.QUEUE;
 
         this._view = new Gtk.TextView({ editable: false, cursor_visible: false,
-                                        margin: 6, visible: true,
+                                        visible: true,
                                         wrap_mode: Gtk.WrapMode.WORD_CHAR });
+        this._view.set_border_window_size(Gtk.TextWindowType.TOP, 6);
+        this._view.set_border_window_size(Gtk.TextWindowType.BOTTOM, 6);
+        this._view.set_border_window_size(Gtk.TextWindowType.LEFT, 6);
+        this._view.set_border_window_size(Gtk.TextWindowType.RIGHT, 6);
+
         this.widget.add(this._view);
         this.widget.show_all();