Действительно, у gnome-tweak-tool в разделе Верхняя панель нашлась такая галочка, благодарю, zg_nico.
Интересно, почему формат не настраивается, хорошо, что вид по-умолчанию меня устраивает.
И устанавливать эту штуку лучше через Центр приложений, опыт показал, что в новой убунте так лучше.