Rename 'Protected profiles' to 'Default profiles'

We agreed that it looks better, especially when listed right above 'Custom profiles'.
This commit is contained in:
Ghostkeeper 2018-12-27 11:06:09 +01:00
parent c6c09a8327
commit f2a32e62fc
No known key found for this signature in database
GPG key ID: 86BEF881AE2CF276

View file

@ -408,7 +408,7 @@ Item
{
anchors.left: parent.left
anchors.leftMargin: UM.Theme.getSize("default_lining").width
text: section == "true" ? catalog.i18nc("@label", "Protected profiles") : catalog.i18nc("@label", "Custom profiles")
text: section == "true" ? catalog.i18nc("@label", "Default profiles") : catalog.i18nc("@label", "Custom profiles")
font.bold: true
}
}