[xmonad] mplayer & borders

[Xiao-Yong Jin]

Don Stewart <dons at galois.com> writes:

> xj2106:
>> Roman Cheplyaka <roma at ro-che.info> writes:
>> 
>> > * Xiao-Yong Jin <xj2106 at columbia.edu> [2008-02-01 17:25:13-0500]
>> 
>> Have you tried it?  It is not a separate treatment.  The
>> issue is that, in dwm, when the rule is applied, full
>> screened mplayer, got by pressing `f', is _correctly_
>> positioned on the screen, borders _outside_ of the screen.
>> On the contrary, what you can get from a floating full
>> screened mplayer in xmonad is top and left borders on the
>> edge of the screen and you need to move the mplayer window
>> up and left 1 pixel manually to achieve what dwm does
>> automatically.
>> 
>> I'm no expert on window manager.  Hope the above description
>> is informative enough.
>
> Oh! How about we just have a manageHook that sets the desired
> geometry?

A geometry that offsets the border?  I played with the
borders months ago, but it remains a mystery to me.

Or it can be generalized to set more app specific
properties.  But I've no idea how to implement it.

Xiao-Yong
-- 
    c/*    __o/*
    <\     * (__
    */\      <