toolkit/chrome/global/editMenuOverlay.dtd
author David Paleino <d.paleino@gmail.com>
Mon, 17 Jan 2022 13:54:22 +0100
changeset 385 6729c4bfb82228012e51e2077cf8f2ce254e8fe6
parent 337 11d11b6aa3b89e53dcb2c0952f9c06d5ee4a30c1
permissions -rw-r--r--
Bug 1580599 - Convert toolbox.properties to Fluent, part 1.

<!-- This Source Code Form is subject to the terms of the Mozilla Public
   - License, v. 2.0. If a copy of the MPL was not distributed with this
   - file, You can obtain one at http://mozilla.org/MPL/2.0/. -->

<!ENTITY findCmd.label             "Trova">
<!ENTITY findCmd.key               "F">
<!ENTITY findCmd.accesskey         "v">
<!ENTITY findAgainCmd.key          "G">
<!ENTITY findAgainCmd.key2         "VK_F3">