Изменить размер браузера Opera в Ubuntu 19.04
Я не могу изменить размер окна браузера Opera! С помощью мыши ручки ручки слишком маленькие, поэтому я всегда скучаю по ним. Кроме того, alt+space не вызывает меню, как обычно. Согласно сообщению в forums.opera.com , решение должно состоять в том, чтобы отключить «Instant Search», который связан с alt + space К сожалению, это тоже не работает, поэтому я застрял. Это прискорбно, так как во всем остальном я считаю Opera лучшим выбором. (Ноутбук Acer, Ubuntu 19.04)
1 ответ
Вау, действительно из-под коробки границы Оперы совершенно иллюзорны. (также Opera, кажется, игнорирует системную тему, которая не помогает решить проблему. Вы должны поднять ее как ошибку с ними: https://help.opera.com/en/computer-bug-wizard/ [ 110])
есть быстрое решение этой проблемы, которое использует сочетания клавиш для этого:
Alt + F8 чтобы начать изменение размера, затем используйте клавиши со стрелками, чтобы изменить размер окна. Нажатие Return сохранит ваш размер, нажатие Esc вернет его назад.
меню открывается с помощью Alt
, с другой стороны, это имеет смысл для меня. это проблема стандартизации Linux.