[gnome-devel-docs/beginners: 3/12] GTK+ Python Tutorial: set_border_width()

[Marta Maria Casetti <mmcasetti src gnome org>]

commit 7ab884735f3c505b9c0fc5a06fa27ac9dfb514ee
Author: Marta Maria Casetti <mmcasetti gmail com>
Date:   Mon Mar 4 14:57:52 2013 +0000

    GTK+ Python Tutorial: set_border_width()
    
    the method set_border_width() for a window is introduced in window.py.page

 beginners-docs/C/window.py.page |   10 +++++++---
 1 files changed, 7 insertions(+), 3 deletions(-)
---
diff --git a/beginners-docs/C/window.py.page b/beginners-docs/C/window.py.page
index ff3d45c..9849fb4 100644
--- a/beginners-docs/C/window.py.page
+++ b/beginners-docs/C/window.py.page
@@ -52,9 +52,9 @@
   <code>__init__(self)</code>; the properties such as title, size and position 
   are given by the methods in lines 6&#8211;9.</p>
   
-  <p>In GTK+3, the widgets have a natural and a minimum size. For a window, 
-  there is also a default size, that is an initial size, set with 
-  <code>set_default_size(<var>width</var>, <var>height</var>)</code>. 
+  <p>A note on the size property: in GTK+3, the widgets have a natural and a 
+  minimum size. For a window, there is also a default size, that is an initial 
+  size, set with <code>set_default_size(<var>width</var>, <var>height</var>)</code>. 
   The default size cannot be smaller than the minimum size of 
   the widgets inside the window (known as "children widgets").</p>
   
@@ -65,6 +65,10 @@
   take the value of <code>-1</code>: in this case, they will take the natural 
   size of the children widgets.</p>
   
+  <p>There is furthermore the method <code>set_border_width(<var>width</var>)</code> 
+  that specifies the amount of space to leave blank between the inner border of 
+  the window and the children widgets.</p>
+  
   <p>Line 11 makes the window visible.</p>
 
   <p>Do not worry too much of what happens in lines 13&#8211;18: we will see it