ゲームのウィンドウのサイズを1280x720に変更したい。 wctrlとxdotoolsで試しましたが、うまくいきませんでした。 15.04を使用しています。
こちら 問題を示すビデオ。
Youtubeムービーを見ると、次のコマンドを使用していることがわかりました。
wmctrl -r <window_id> -e 0,0,0,1280,720
windownameを識別子として使用すると、そのようなコマンドを使用できます。ただし、0x02c00042
のようにwindow-idを使用する場合は、-i
フラグを使用して機能させる必要があります。
コマンドは次のようになります。
wmctrl -ir <window_id> -e 0,0,0,1280,720
同じムービーで、最初にコマンドを試しました:
wmctrl -r <window_name> -e 0,0,0,1280,720
コマンドは実際にdid work ...
...ただし、対象のウィンドウには表示されません。ウィンドウリストをよく見ると、名前に文字列Minecraft
を含む別のウィンドウがあります:~/Documents/Minecraft
。このウィンドウはリストの上位にあり、最小化されています。
コマンドwmctrl -r <window_name> -e 0,0,0,1280,720
doesそのウィンドウのサイズを変更しますが、それでも最小化されているため、その違いに気付きませんでした。このコマンドは、ウィンドウの状態を最小化から通常の状態に変更しません。