Silvio Giebl 0ebbe4bb4e Improved navigation: folding, vsual feedback, optimization for mobile
(cherry picked from commit db50f282bab1e98397cc7434a811b8b7da2fe6dc)
2019-08-15 23:38:58 +02:00
..
2019-08-13 17:24:23 -04:00
2017-03-26 21:09:19 -04:00