- made sure that the units are read from the self.defaults and not from the GUI

- added Robber Bar option to Copper Thieving Tool
2019-11-24 00:31:41 +02:00
parent 8c4663f344
commit d03428f860
26 changed files with 279 additions and 90 deletions
--- a/flatcamGUI/GUIElements.py
+++ b/flatcamGUI/GUIElements.py
@@ -2422,12 +2422,12 @@ class FCTextAreaLineNumber(QtWidgets.QFrame):
                    # We want the line number for the selected line to be bold.
                    if line_count == current_line:
                        font = painter.font()
-                        # font.setBold(True)
+                        font.setBold(True)
                        painter.setPen(QtCore.Qt.blue)
                        painter.setFont(font)
                    else:
                        font = painter.font()
-                        # font.setBold(False)
+                        font.setBold(False)
                        painter.setPen(self.palette().base().color())
                        painter.setFont(font)