У меня Ubuntu 12.04 с Gnome Shell, выбранным в качестве Desktop Manager.
Я привыкаю к тому, как изменяются размеры окон по мере их перетаскивания по некоторому краю экрана (например, максимизируется при перетаскивании сверху, разделяется пополам по горизонтали и выравнивается по правому краю при перетаскивании по правому окну), но Мне бы очень хотелось, чтобы похожий способ минимизировать окна, когда их перетаскивают, например, внизу.
Я знаю, что это возможно с помощью специального ярлыка, но я бы хотел сделать это просто мышью. Так возможно ли это? :)
Вы можете попробовать Easystroke. Easystroke позволяет пользователям создавать собственные жесты мыши, чтобы вы могли просто сделать жест, чтобы свернуть все окна или текущее окно или что-то еще. Этот пост в блоге немного говорит об этом. Также есть дополнительная информация из советов / хитростей и документации от разработчика.