fix step label size for gnome

console/gui/LeftMenu.py

@@ -228,7 +228,7 @@ class LeftMenu(QtGui.QScrollArea):
         self.layout = QtGui.QVBoxLayout(self.widget)
         self.layout.setAlignment(QtCore.Qt.AlignTop | QtCore.Qt.AlignHCenter)
         self.layout.setContentsMargins(10,25,1,0)
-        self.layout.setSpacing(7)
+        self.layout.setSpacing(0)
 
         if not icons:
             icons = []
@@ -264,6 +264,7 @@ class LeftMenu(QtGui.QScrollArea):
             diff = bold_width - normal_width + 6
             self.button_list[num_step].setFixedWidth \
                         (self.button_list[num_step].sizeHint().width() + diff)
+            self.button_list[num_step].setFixedHeight(2*fmb.height())
             self.layout.addWidget(self.button_list[num_step])
 
         # set bold button