
Ubuntu日本語フォーラム

ログインしていません。
18.04LTS Japanese EditionのRC版をインストールして使っています。
16.04LTSの時にはワークスペース表示のアイコンをタスクバーに入れることができて、それをクリックするとマウス操作で作業するワークスペースを選択することができました。18.04LTSでは少なくとも同じ操作ではワークスペースをダイレクトに選択する方法を見つけることができず、キーコンビネーションで上のワークスペース、下のワークスペースと相対的に指定しています。
VirtualboxでWindowsなどを使っているとキーコンビネーションがシステムに伝わらずに、ワークスペース移動に支障が出る状態となってしまいました。以前のようにワークスペースをマウスで直接選択できるように調整できないものでしょうか?または他のワークアラウンドがありますでしょうか?
ご存じの方がいらっしゃいましたらご教授ください。
オフライン
私はGNOME Shell拡張のWorkspaces-To-Dockを入れてています。デフォルトでは画面右側にマウスポインターを持っていくと、ワークスペースが並んで表示され、その中から選べます。
Ubuntu 18.04 LTSならuniverseリポジトリにgnome-shell-extension-workspaces-to-dockパッケージがあります。
オフライン