|
@ -160,8 +160,7 @@ Item { |
|
|
} |
|
|
} |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
function setFontSize(size) |
|
|
function setFontSize(size) { |
|
|
{ |
|
|
|
|
|
if (size <= 10 || size >= 48) |
|
|
if (size <= 10 || size >= 48) |
|
|
return; |
|
|
return; |
|
|
editorSettings.fontSize = size; |
|
|
editorSettings.fontSize = size; |
|
@ -329,7 +328,6 @@ Item { |
|
|
id: editorListModel |
|
|
id: editorListModel |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Action { |
|
|
Action { |
|
|
id: increaseFontSize |
|
|
id: increaseFontSize |
|
|
text: qsTr("Increase Font Size") |
|
|
text: qsTr("Increase Font Size") |
|
|