デスクトップのフォルダーの個別resize

いままで知らなかったわけですが...

ubuntu17.04というのを使っているんですが、デスクトップのフォルダーのプロパティを見たら、大きさを変えることができるようです。で、変更してみたら...

個別に変えることができてしまった。うむ、これなら使用頻度の高いフォルダーは大きく、そうでもないたまに使うフォルダーは小さくすることで、操作性を少しでも改善できるぞ、と。

考える、迷う時間は少しでも短いほうがいいですし、アイコンが小さいと誤操作も増えますからね。フォルダーの中にいれたつもりが、できていなくて、デスクトップに残っていたりとか..

この機能、ネット上で検索しても、windowsとかmac、androidではみつからず、デスクトップ上のアイコンをみんな一斉にリサイズすることしかできないようです。ツールがあればできるかも、ですが。
それどころか、みんな同じ大きさになっているほうが使いやすい、という声まであったりする。

で、うちのマシンを調べたらこの機能、ubuntu12.04の時代（それ以前からの可能性もある）あるみたいです。知らなかった。７年間も。