Updating sources when font settings are changed.

This commit is contained in:
Filippo Scognamiglio 2014-09-30 00:10:14 +02:00
parent e815fe2787
commit cc72a28ee3

View File

@ -77,6 +77,23 @@ Item{
kterminal.copyClipboard();
}
//When settings are updated sources need to be redrawn.
Connections{
target: shadersettings
onFontScalingChanged: terminalContainer.updateSources();
onFontWidthChanged: terminalContainer.updateSources();
}
Connections{
target: terminalContainer
onWidthChanged: terminalContainer.updateSources();
onHeightChanged: terminalContainer.updateSources();
}
function updateSources() {
kterminal.update();
kterminal.updateImage();
}
KTerminal {
id: kterminal
width: parent.width
@ -95,9 +112,6 @@ Item{
}
}
onWidthChanged: update();
onHeightChanged: update();
FontLoader{ id: fontLoader }
Text{id: fontMetrics; text: "B"; visible: false}