3

Ubuntu 18.04 (Gnome Shell 3.28 .3)。

私が試したことはうまくいきません:

  • 設定/キーボードショートカットでは、ウィンドウを隅に移動する方法はなく、画面、ワークスペースなどの間を移動するだけです
  • 「CompizConfig 設定マネージャー」を使用すると、「グリッド」を有効にしてキーボード バインドを設定できますが、押しても効果はありません。
  • Ubuntu 18.04 より前は、quicktile ( https://github.com/ssokolow/quicktile ) を使用していましたが、正しく動作しなくなり、Python 2 で非常に肥大化してスタックしました。

(できれば Python) スクリプトを作成して、quicktile のようにウィンドウを移動しても問題ありません (最近ではどの高レベルの表示ライブラリを使用すればよいでしょうか)。

4

2 に答える 2