Cinnamon - 共通事項 - テーマ - メニューの高さ
1. 概要 今まで(2021年9月27日)、「メニューの高さを、テーマでいじられないものかいな?」と思っていましたが、どうも「Manajro 21.1 Cinnamon」をさわっていて、メニューの高さは、メニューの設定でいじるような気がしてきました。 なので、本項に関しては、「メニュー」の項をご参照ください。