/* Class = "NSPanel"; title = "Preferences"; ObjectID = "2"; */
"Preferences" = "Einstellungen";

/* Class = "NSToolbarItem"; label = "General"; ObjectID = "212"; */
"General" = "Allgemein";

/* Class = "NSToolbarItem"; paletteLabel = "General"; ObjectID = "212"; */
"General" = "Allgemein";

/* Class = "NSToolbarItem"; label = "Style"; ObjectID = "216"; */
"Style" = "Stil";

/* Class = "NSToolbarItem"; paletteLabel = "Style"; ObjectID = "216"; */
"Style" = "Stil";

/* Class = "NSToolbarItem"; label = "Shortcuts"; ObjectID = "327"; */
"Shortcuts" = "Kurzbefehle";

/* Class = "NSToolbarItem"; paletteLabel = "Shortcuts"; ObjectID = "327"; */
"Shortcuts" = "Kurzbefehle";