Stile angepasst, Neuer Reiter hinzugefuegt, Menue angepasst

ulrich

2021-01-16 b20b749a95f6aa9d73414c58b66b4c7abe9b1077

 web/ui2/data/menu/datei.json

@@ -8,6 +8,11 @@
    },
    "inhalt": [
      {
        "titel": "Neuer Reiter",
        "umenue": false,
        "funktion": "app.fm_neuer_reiter"
      },
      {
        "titel": "Neuer Ordner",
        "umenue": false,
        "funktion": "app.datei_neuer_ordner"
@@ -18,11 +23,46 @@
        "funktion": "app.datei_neuer_text"
      },
      {
        "titel": "Neues Dokument",
        "umenue": false,
        "funktion": "app.fm_menu_neues_dokument"
      },
      {
        "titel": "",
        "umenue": false,
        "funktion": ""
      },
      {
        "titel": "Text bearbeiten",
        "umenue": false,
        "funktion": "app.fm_edit_as_text"
      },
      {
        "titel": "Dok. bearbeiten",
        "umenue": false,
        "funktion": "app.fm_edit_as_doc"
      },
      {
        "titel": "",
        "umenue": false,
        "funktion": ""
      },
      {
        "titel": "Speichern",
        "umenue": false,
        "funktion": "app.fm_menu_datei_speichern"
      },
      {
        "titel": "Speichern unter..",
        "umenue": false,
        "funktion": "app.fm_menu_datei_speichern_unter"
      },
      {
        "titel": "",
        "umenue": false,
        "funktion": ""
      },
      {
        "titel": "Schliessen",
        "umenue": false,
        "funktion": "app.fm_menu_datei_schliessen"