08/01/16 01:07:08 .net
>>391
ウィンドウ内のスクロールバーの事なら、fluxboxは関係ないよ。
ウインドウマネージャが面倒みるのは、タイトルバー、ウィンドウ枠、
リサイズハンドルまでで、スクロールバーはクライアント領域で、
アプリケーション側が面倒見ていて、主にGUI開発ツールに依存している。
そう言えば昔、そんなスクロールの仕方のGUIツールが有ったような気もするが。
どんなアプリ使ってる? どのアプリでもそうなるのか?
08/01/16 01:07:08 .net
>>391
ウィンドウ内のスクロールバーの事なら、fluxboxは関係ないよ。
ウインドウマネージャが面倒みるのは、タイトルバー、ウィンドウ枠、
リサイズハンドルまでで、スクロールバーはクライアント領域で、
アプリケーション側が面倒見ていて、主にGUI開発ツールに依存している。
そう言えば昔、そんなスクロールの仕方のGUIツールが有ったような気もするが。
どんなアプリ使ってる? どのアプリでもそうなるのか?