3 ms·

Ideally, this should be decided (or configured) by your window manager. But then, I also think that application tabs should be handled by the window manager som

by karl42 12y ago

Ideally, this should be decided (or configured) by your window manager. But then, I also think that application tabs should be handled by the window manager somehow.