Neues Dokument, Dokument bearbeiten, speichern

ulrich

2021-01-16 4e450e7e6ceb8ffcaff11fc2d8d112c25c771b85

 web/ui2/data/menu/datei.json

@@ -18,11 +18,21 @@
        "funktion": "app.datei_neuer_text"
      },
      {
        "titel": "Neues Dokument",
        "umenue": false,
        "funktion": "app.fm_menu_neues_dokument"
      },
      {
        "titel": "Text bearbeiten",
        "umenue": false,
        "funktion": "app.fm_edit_as_text"
      },
      {
        "titel": "Dokument bearbeiten",
        "umenue": false,
        "funktion": "app.fm_edit_as_doc"
      },
      {
        "titel": "Schliessen",
        "umenue": false,
        "funktion": "app.fm_menu_datei_schliessen"