Wählen Sie das Exportformat aus der folgenden Liste:
Optionen für exportFormat Man kann mit den Pfeiltasten, der Home-Taste und der Endetaste durch die Optionen navigieren. Wähle die aktuell markierte Option aus, indem Du die Eingabetaste oder die Leertaste drückst. Die Pfeiltasten nach rechts und links verschieben den Fokus auf die nächste mögliche Option in der Liste. Mit der Home-Taste springt der Fokus an den Anfang der Liste und mit der END-Taste an deren Ende. Mit den Auf- und Abwärtspfeilen kann man schnell zum Anfang der Optionskategorien navigieren.
Export als HyperText Markup Language (HTML)
Export als Portable Document Format (PDF) mit dem Webbrowser
Seiten für den Export auswählen:
| ... | ... | @@ -982,8 +982,7 @@ |
| 982 | 982 | } |
| 983 | 983 | |
| 984 | 984 | function checkCookie() { |
| 985 | - let dialogv8 = getCookie("dialogv8"); | |
| 986 | - console.log("cookie got",dialogv8); | |
| 985 | + let user = getCookie("dialogv8"); | |
| 987 | 987 | if (dialogv8 != "") { |
| 988 | 988 | console.log("Cookie found " + dialogv8); |
| 989 | 989 | return false; |