私はUbuntu 18.10を使用していますが、ワークスペーススイッチャーのポップアップを別の場所に移動したり、何らかの方法で変更したりする方法があるかどうか疑問に思っています。画面の中央に配置すると、多少気が散ります。
FreeBSDやLubuntuなどのディストリビューションでの実装方法は好きですが、それだけで切り替えたくありません。
ポップアップを完全に削除するgnome拡張機能がありますが、私が配置しているワークスペースに関する情報が欲しいです。
ワークスペーススイッチャーのポップアップ位置を画面の中央から移動するには、非常に難しいgnome-Shellコアファイルを編集する必要があります。
代わりに、サイズと色を少し調整できます。
Ubuntu 18.10、デフォルトのユーザーシェルテーマ。
それを微調整するために、私はファイルを編集しました/usr/share/gnome-Shell/theme/Yaru/gnome-Shell.css
オリジナルコンテンツ
/* Workspace Switcher */
.workspace-switcher-group {
padding: 12px; }
.workspace-switcher-container {
padding: 5px;
border-radius: 6px; }
.workspace-switcher {
background: transparent;
border: 0px;
border-radius: 0px;
padding: 0px;
spacing: 8px; }
.ws-switcher-active-up, .ws-switcher-active-down {
height: 50px;
background-color: rgba(247, 247, 247, 0.4);
color: #ffffff;
background-size: 32px;
border-radius: 6px; }
.ws-switcher-active-up {
background-image: url("ws-switch-arrow-up.svg"); }
.ws-switcher-active-down {
background-image: url("ws-switch-arrow-down.svg"); }
.ws-switcher-box {
height: 50px;
border: 1px solid rgba(247, 247, 247, 0.1);
background: rgba(247, 247, 247, 0.1);
border-radius: 6px; }
.osd-window,
.resize-popup, .switcher-list, .workspace-switcher-container {
color: #F7F7F7;
background-color: rgba(29, 29, 29, 0.975);
border: 1px solid rgba(255, 255, 255, 0.13);
border-radius: 12px;
padding: 12px;
box-shadow: 0 3px 9px 1px rgba(0, 0, 0, 0.5); }
編集されたコンテンツ
/* Window Cycler */
.cycler-highlight {
border: 5px solid #E95420; }
/* Workspace Switcher */
.workspace-switcher-group {
padding: 12px; }
.workspace-switcher-container {
padding: 5px;
border-radius: 6px; }
.workspace-switcher {
background: transparent;
border: 0px;
border-radius: 0px;
padding: 0px;
spacing: 8px; }
.ws-switcher-active-up, .ws-switcher-active-down {
height: 50px;
background-color: blue;
color: #ffffff;
background-size: 32px;
border-radius: 6px; }
.ws-switcher-active-up {
background-image: url("ws-switch-arrow-up.svg"); }
.ws-switcher-active-down {
background-image: url("ws-switch-arrow-down.svg"); }
.ws-switcher-box {
height: 5px;
border: 1px solid rgba(247, 247, 247, 0.1);
background: green;
border-radius: 6px; }
.osd-window,
.resize-popup, .switcher-list, .workspace-switcher-container {
color: #F7F7F7;
background-color: transparent;
border: 1px solid rgba(255, 255, 255, 0.13);
border-radius: 12px;
padding: 0px;
box-shadow: 0 3px 9px 1px rgba(0, 0, 0, 0.5); }
上記に基づいてカスタマイズを行うことができます。
インストールが必要ですFirefoxまたはchromeでGNOME Shell拡張機能のウェブサイトを開きます。そして、Disable Workspace Switcher Popupplugin をインストールします。