2017-10-16から1日間の記事一覧
※2018年9月16日、「全てのウィンドウを最小化または元に戻す」を修正。 ※2018年5月8日、「仮想コンソールに切り替える」が古い内容だったので修正。 ※2018年3月18日、「マウスでウィンドウを移動する」を修正。Ubuntu 17.10以降のGNOME 3(GNOME Shell)環境の…
何か動作がモッサリしていると感じる場合はアニメーション効果を無効化するとマシになるかもしれない。 GUIで設定する場合 Dconf Editorをインストール&起動して org > gnome > desktop > interface > enable-animations をFalseにする。 コマンドを使って…
デフォルトでは全てのワークスペースのアプリケーションを切り替えるようになっているので、現在のワークスペースにあるアプリのみを切り替えたい場合は設定を変更する必要がある。 GUIで設定する場合 Dconf Editorをインストール&起動して org > gnome > s…
GNOME Shellでは、GUIアプリのウィンドウのサイズをある程度の大きさにした状態で閉じると、次にそのアプリを起動した時に自動的に最大化されるようになっているので、余計なお世話だと思う場合は無効化する。 GUIで無効化する場合 Dconf Editorをインストー…