redeleitsystem issueshttps://git.fsmpi.rwth-aachen.de/redl/redeleitsystem/-/issues2018-05-21T17:36:21+02:00https://git.fsmpi.rwth-aachen.de/redl/redeleitsystem/-/issues/5manual menu folding2018-05-21T17:36:21+02:00Lars Beckersmanual menu foldingMake it possible to fold in the menu on the left manually in addition to the automatic folding.Make it possible to fold in the menu on the left manually in addition to the automatic folding.https://git.fsmpi.rwth-aachen.de/redl/redeleitsystem/-/issues/6Pfeil für User-Menü2018-05-21T17:36:20+02:00Hinrikus WolfPfeil für User-Menüden Knopf neben dem User-Menu darstellenden Knopf neben dem User-Menu darstellen