Font width is customizable. Introducing non squared pixels resolutions.

This commit is contained in:
Filippo Scognamiglio
2014-09-28 18:23:14 +02:00
parent 14ab8942af
commit a08c738a65
6 changed files with 22 additions and 16 deletions

View File

@@ -104,7 +104,9 @@ Item{
font.pixelSize = pixelSize;
font.family = fontLoader.name;
width = Qt.binding(function() {return Math.floor(terminalContainer.width / screenScaling);});
var fontWidth = 1.0 / shadersettings.fontWidth;
width = Qt.binding(function() {return Math.floor(fontWidth * terminalContainer.width / screenScaling);});
height = Qt.binding(function() {return Math.floor(terminalContainer.height / screenScaling);});
setLineSpacing(lineSpacing);