お知らせ

  • 利用規約を守って投稿してください。また、よくある質問および投稿の手引きも参照してください。
  • メッセージの投稿にはアカウントが必要です。未登録の方は、ユーザ登録ページからアカウントを作成することができます。

#1 2018-05-11 10:20:25

kalab1998
新しいメンバ
登録日: 2009-11-02

18.04LTSのワークスペース一覧の表示方法

18.04LTS Japanese EditionのRC版をインストールして使っています。

16.04LTSの時にはワークスペース表示のアイコンをタスクバーに入れることができて、それをクリックするとマウス操作で作業するワークスペースを選択することができました。18.04LTSでは少なくとも同じ操作ではワークスペースをダイレクトに選択する方法を見つけることができず、キーコンビネーションで上のワークスペース、下のワークスペースと相対的に指定しています。

VirtualboxでWindowsなどを使っているとキーコンビネーションがシステムに伝わらずに、ワークスペース移動に支障が出る状態となってしまいました。以前のようにワークスペースをマウスで直接選択できるように調整できないものでしょうか?または他のワークアラウンドがありますでしょうか?

ご存じの方がいらっしゃいましたらご教授ください。

オフライン

 

#2 2018-05-11 22:21:19

emasaka
メンバ
登録日: 2008-02-14

Re: 18.04LTSのワークスペース一覧の表示方法

私はGNOME Shell拡張のWorkspaces-To-Dockを入れてています。デフォルトでは画面右側にマウスポインターを持っていくと、ワークスペースが並んで表示され、その中から選べます。

Ubuntu 18.04 LTSならuniverseリポジトリにgnome-shell-extension-workspaces-to-dockパッケージがあります。

オフライン

 

Board footer

Powered by FluxBB