|
doc.archive
|
%s is a compressed archive.
|
|
|
|
heading.archive.userdata
|
User Data Archive
|
|
|
|
userdata.help
|
User data archives contain exported browsing history, identities, bookmarks, text snippets, site-specific settings, and fingerprints of trusted server certificates. They can be stored as backups and used for transferring data between devices.
|
|
|
|
n.bit
|
%d-bit
|
|
|
|
numbertype.integer
|
integer
|
|
|
|
numbertype.float
|
float
|
|
|
|
about.logo
|
ASCII art: the word "Lagrange" using a large font
|
|
|
|
dlg.default
|
OK
|
|
|
|
menu.title.window
|
Window
|
|
|
|
menu.newwindow
|
New Window
|
|
|
|
menu.reopentab
|
Reopen Last Closed Tab
|
|
|
|
menu.duptab
|
Duplicate Tab
|
|
|
|
menu.tab.next
|
Show Next Tab
|
|
|
|
menu.tab.prev
|
Show Previous Tab
|
|
|
|
menu.movetab.left
|
Move Tab Left
|
|
|
|
menu.movetab.right
|
Move Tab Right
|
|
|
|
menu.movetab.split
|
Move Tab to Other Side
|
|
|
|
menu.movetab.newwindow
|
Move Tab to New Window
|
|
|
|
menu.window.min
|
Minimize
|
|
|
|
menu.window.max
|
Maximize
|
|
|
