2.3. ワークスペースの切替え

右上にあるクリップの絵が入っているアイコンはクリップアイコンと呼ばれます。このアイコンはワークスペースの切替えに用います。右上と左下の三角印をクリックすると、ワークスペースへ移動することができます。ワークスペースの数は動的に増やすことができます。ワークスペース間の移動には以下のショートカットが用意されています。

クリップアイコンにもアイコンをくっつけることができます。Dockアイコンと異なる点は、Dock領域のアイコンは全てのワークスペースで表示されるのに対して、クリップ領域のアイコンは各ワークスペース毎に表示されます[1]。この違いをうまく使うと、ワークスペース別に必要なアイコンをクリップ領域に置き、画面中がアイコンだらけになることを避けることができます。

Notes

[1]

WPrefsによる設定で、全てのワークスペースにアイコンを表示するようにも変更できます。