-
Peter Mühlenpfordt authored
This change should actually be made in D10577 but got lost. After changing sidebar code in D10687 this name is adjusted for statusbar too.
f3b1807f
This change should actually be made in D10577 but got lost. After changing sidebar code in D10687 this name is adjusted for statusbar too.