-
Ismael Asensio authored
While tabbox switching is usually a keyboard operation, we offer also a mouse-friendly way to launch it via screen edges, and should allow to switch directly on mouse click. BUG: 481267 FIXED-IN: 6.0
f6447ad1
While tabbox switching is usually a keyboard operation, we offer also a mouse-friendly way to launch it via screen edges, and should allow to switch directly on mouse click. BUG: 481267 FIXED-IN: 6.0