ynkmr/Sourcetrail
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

ui: font size fix

Browse Source 
* switched from using setPointSize() to setPixelSize() for fonts
This commit is contained in:
malte_langkabel
2014-11-24 16:44:33 +01:00
parent af4e3f7676
commit 7b17f5b3ad
2 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/app/qt/view/graphElements/QtGraphNode.cpp
+4 -4
View File
@@ -20,7 +20,7 @@ QFont QtGraphNode::getFontForNodeType(Node::NodeType type)
{
case Node::NODE_UNDEFINED:
case Node::NODE_NAMESPACE:
font.setPointSize(12);
font.setPixelSize(12);
break;
case Node::NODE_UNDEFINED_TYPE:
@@ -28,19 +28,19 @@ QFont QtGraphNode::getFontForNodeType(Node::NodeType type)
case Node::NODE_CLASS:
case Node::NODE_ENUM:
case Node::NODE_TYPEDEF:
font.setPointSize(14);
font.setPixelSize(14);
break;
case Node::NODE_UNDEFINED_FUNCTION:
case Node::NODE_FUNCTION:
case Node::NODE_METHOD:
font.setPointSize(11);
font.setPixelSize(11);
break;
case Node::NODE_UNDEFINED_VARIABLE:
case Node::NODE_GLOBAL_VARIABLE:
case Node::NODE_FIELD:
font.setPointSize(11);
font.setPixelSize(11);
break;
}