自从升级到 22.04 以来,我注意到一个恼人的问题,即当通过拖动右下角手动调整窗口大小时,有时(并非总是)无法将窗口完全放大到屏幕边缘;总是会有几个像素的间隙。间隙的宽度各不相同,有时没有间隙。有时右侧会有间隙,但底部没有,反之亦然,并且通常间隙大小不等。我还没有弄清楚是什么导致了间隙,但它似乎与所使用的程序无关。它可能取决于窗口的绝对位置,也可能是调整大小四舍五入为固定像素倍数的问题,但我还没有测试过这一点。
这非常烦人,因为当它留下空隙时,我就无法通过单击屏幕边缘来使窗口聚焦。
通常,我分层窗口的方式是将某些窗口留在屏幕边缘,包括右侧或底部边框,这样我稍后就可以通过点击屏幕边缘轻松将它们聚焦,这很容易快速完成。如果有间隙,点击这些窗口会变得更加繁琐和耗时,因为我必须小心瞄准光标以免超出范围。
作为一种解决方法,我能够将窗口移动到屏幕边缘,然后根据需要调整其大小。但这很烦人,我想恢复旧功能,即手动调整大小可以轻松且精确地将窗口大小与屏幕边缘匹配。
我怎样才能恢复旧的、所需的行为,即将调整大小的窗口拖到屏幕的边缘或角落,将其大小精确调整到屏幕边框,没有间隙?