const e="",n="",t="Über",o="Beenden",s="Löschen",r="Dienste",i="Ausblenden",a="Datei",l="Schließen",c="Bearbeiten",u="Ausschneiden",d="Kopieren",p="Einfügen",h="Sprache",g="Ansicht",m="",f="Neu laden",b="Fenster",P="Minimieren",S="Hilfe",A="Dokumentation",v="Weiter",w={"Failed to fetch plugin info":"","An error occurred while fetching plugin info from {{  URL }}.":"",Yes:e,No:n,"Plugin Installation":"",'Do you want to install the plugin "{{ pluginName }}"?':"","You are about to install a plugin from: {{ url }}\nDo you want to proceed?":"",About:t,Quit:o,"Select All":"Alles auswählen",Delete:s,Services:r,Hide:i,"Hide Others":"Andere ausblenden","Show All":"Alle anzeigen",File:a,Close:l,Edit:c,Cut:u,Copy:d,Paste:p,"Paste and Match Style":"Einfügen und Stil anpassen",Speech:h,"Start Speaking":"Sprechen starten","Stop Speaking":"Sprechen stoppen",View:g,"Toggle Developer Tools":"Entwicklertools umschalten","Reset Zoom":"Zoom zurücksetzen","Zoom In":"Vergrößern","Zoom Out":"Verkleinern","Toggle Fullscreen":"Vollbild umschalten",Navigate:m,Reload:f,"Go to Home":"","Go Back":"","Go Forward":"",Window:b,Minimize:P,"Bring All to Front":"Alle nach vorne bringen",Help:S,Documentation:A,"Open an Issue":"Ein Problem melden","Another process is running":"Ein anderer Prozess läuft","Looks like another process is already running. Continue by terminating that process automatically, or quit?":"Es sieht so aus, als ob bereits ein anderer Prozess läuft. Fortfahren, indem Sie diesen Prozess automatisch beenden, oder beenden?",Continue:v,"Failed to quit the other running process":"Konnte den anderen laufenden Prozess nicht beenden","Could not quit the other running process, PIDs: {{ process_list }}. Please stop that process and relaunch the app.":"Konnte den anderen laufenden Prozess nicht beenden, PIDs: {{ process_list }}. Bitte stoppen Sie diesen Prozess und starten Sie die App neu.","No available ports":"","Could not find an available port. There are processes running on ports {{startPort}}-{{endPort}}. Terminate these processes and retry?":"","Terminate and Retry":"","Failed to start":"","Could not start the server even after terminating existing processes.":"","Could not find an available port in the range {{startPort}}-{{endPort}}. Please free up a port and try again.":"","Invalid URL":"Ungültige URL","Application opened with an invalid URL: {{ url }}":"Anwendung mit einer ungültigen URL geöffnet: {{ url }}"};export{t as About,l as Close,v as Continue,d as Copy,u as Cut,s as Delete,A as Documentation,c as Edit,a as File,S as Help,i as Hide,P as Minimize,m as Navigate,n as No,p as Paste,o as Quit,f as Reload,r as Services,h as Speech,g as View,b as Window,e as Yes,w as default};
