よくよく考えると、ランチャーは下じゃなくて右か左かにあったほうが良いな。
ランチャーにアイコンを縦（横）幅に収まらないほどに追加すると畳まれるけど、
これでランチャーが下にあると、マウスカーソルを下に置いてても結構な距離を移動しないといけなくなる。
ランチャーが横にあれば、最近のスクリーンは縦に短いからその分移動する距離も短くて済む。

それと、ウインドウを最大化解除するとランチャーがひょっこりでてくるけど、
このランチャーが下にあると狭い縦幅が更に狭くなる。横にあれば縦幅を消費しない。