const S="",A="",e="Über",n="Beenden",t="Löschen",o="Dienste",s="Ausblenden",r="Datei",i="Schließen",a="Bearbeiten",l="Ausschneiden",c="Kopieren",u="Einfügen",d="Sprache",p="Ansicht",v="",h="Neu laden",g="Fenster",m="Minimieren",f="Hilfe",b="Dokumentation",P="Weiter",w={"Failed to fetch plugin info":"","An error occurred while fetching plugin info from {{  URL }}.":"",Yes:"",No:"","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:e,Quit:n,"Select All":"Alles auswählen",Delete:t,Services:o,Hide:s,"Hide Others":"Andere ausblenden","Show All":"Alle anzeigen",File:r,Close:i,Edit:a,Cut:l,Copy:c,Paste:u,"Paste and Match Style":"Einfügen und Stil anpassen",Speech:d,"Start Speaking":"Sprechen starten","Stop Speaking":"Sprechen stoppen",View:p,"Toggle Developer Tools":"Entwicklertools umschalten","Reset Zoom":"Zoom zurücksetzen","Zoom In":"Vergrößern","Zoom Out":"Verkleinern","Toggle Fullscreen":"Vollbild umschalten",Navigate:"",Reload:h,"Go to Home":"","Go Back":"","Go Forward":"",Window:g,Minimize:m,"Bring All to Front":"Alle nach vorne bringen",Help:f,Documentation:b,"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:P,"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{e as About,i as Close,P as Continue,c as Copy,l as Cut,t as Delete,b as Documentation,a as Edit,r as File,f as Help,s as Hide,m as Minimize,v as Navigate,A as No,u as Paste,n as Quit,h as Reload,o as Services,d as Speech,p as View,g as Window,S as Yes,w as default};
