xmonad: размер по умолчанию для плавающего окна

Question

Чтобы поместить окно на плавающий слой, как только оно появится, можно использовать doFloat функция от ManageHooks, Кроме того, есть несколько дополнительных функций, таких как doCenterFloat например, которые предоставляются ManageHelpers,

Но есть ли способ указать конкретный размер для окна?

Прямо сейчас у меня есть приложение, и оно просто занимает все пространство окна. Я хотел бы указать более удобный размер.

ManageHelpers имеет функцию под названием doRectFloat который занимает RationalRect, В описании дляdoRectFloat в нем говорится следующее:

Прямоугольник для всплывающего окна. От 0 до 1; х, у, ш, ч

Но я не знаю, как это использовать.

Answer 1

ManageHelpers имеет функцию под названием doRectFloat [...] Но я не знаю, как это использовать.

Тип doRectFloat является...

doRectFloat :: RationalRect -> ManageHook

... так что вам нужно передать его RationalRect (переход по ссылкам в документации обычно помогает выяснить такие вещи):

doRectFloat (RationalRect (1 % 4) (1 % 4) (1 % 2) (1 % 2))

Это должно привести к центрированному прямоугольнику с половиной полной ширины и длины. % используется для построения Rational (тип для точных дробей) значений. Чтобы использовать его, вам нужно будет добавить import Data.Ratio на импорт в верхней части вашего xmonad.hs файл.