Padding, changing key symbols, size improvements, etc

[ejpi] / src / qhistory.py

diff --git a/src/qhistory.py b/src/qhistory.py
index a853173..4b7a0ae 100644 (file)
--- a/src/qhistory.py
+++ b/src/qhistory.py
@@ -74,6 +74,10 @@ class QCalcHistory(history.AbstractHistory):
                equation = QtGui.QStandardItem(operation.render_operation(self._prettyRenderer, node))
                equation.setData(node)
                equation.setCheckable(False)
+               eqFont = equation.font()
+               eqFont.setPointSize(max(eqFont.pointSize() - 3, 5))
+               equation.setFont(eqFont)
+
                result = QtGui.QStandardItem(operation.render_operation(self._prettyRenderer, simpleNode))
                result.setData(simpleNode)
                result.setEditable(False)