Commits

Anonymous committed e12ae97

Use get_padding() to determin the amount of additional spaces

Comments (0)

Files changed (1)

         terminal = self.create_terminal()
         self.add(terminal)
 
-        w = terminal.get_char_width() * 80 + 2
-        h = terminal.get_char_height() * 25 + 2
+        xpad, ypad = terminal.get_padding()
+
+        w = terminal.get_char_width() * 80 + xpad
+        h = terminal.get_char_height() * 25 + ypad
         terminal.set_size_request(w, h)
 
         self.show_all()