[plugin] Update capitalization style "Terminal Emulator" → "Terminal emulator" (#8759)

reviewable/pr8766/r1
Frans de Jonge 2 years ago committed by GitHub
parent d39f4ea35e
commit c2812c7956
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -250,7 +250,7 @@ end
function Terminal:generateInputDialog()
return InputDialog:new{
title = _("Terminal Emulator"),
title = _("Terminal emulator"),
input = self.history,
input_face = self.input_face,
para_direction_rtl = false,
@ -563,7 +563,7 @@ end
function Terminal:onDispatcherRegisterActions()
Dispatcher:registerAction("terminal",
{category = "none", event = "TerminalStart", title = _("Terminal Emulator"), device = true})
{category = "none", event = "TerminalStart", title = _("Terminal emulator"), device = true})
end
return Terminal

Loading…
Cancel
Save