buttons.js

runlatex.texts ={
    "Open in Overlaf":  "Aberto em Overleaf",
    "TeXLive.net":     "LaTeX Online",
    "Delete Output":    "Excluir saída",
    "Compiling PDF":    "Compiling PDF",
    // The following not used on learnlatex.org
    "edit":             "edit",
    "copy":             "copy",
    "Added Code":       "Added code",
    "End Added Code":   "End Added code",
    "Top Caption":      "Edit and run this example:"
}