これを行うxwininfo
と、ウィンドウ ID が表示されますが、これにはターゲット ウィンドウ上でマウスをクリックする必要があります。ウィンドウマネージャーに特定のIDを使用するように強制する方法、または少なくともウィンドウマネージャーに提案する方法はありますか? 何かのようなもの
gedit windowid=0x12345678
いくつかのファイルを GitHub にアップロードしました (ここまたはここを参照)。これをどのように回避したかを示しています。それらを見れば、私がやろうとしていることをよりよく理解できるでしょう。