[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Better handling of window margins
From: |
Achim Gratz |
Subject: |
Re: Better handling of window margins |
Date: |
Mon, 07 Dec 2015 18:50:35 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) |
John Wiegley writes:
>>>>>> Achim Gratz <address@hidden> writes:
>
>>> So until we have a comprehensive proposal, from someone willing to pitch in
>>> to find the right solution, we accept that two modules manipulating the
>>> margins are unable to play together.
>
>> The mandate should be that the user must be able to tell which module gets
>> to use the margin, then.
>
> I don't see why that is necessary. Multiple margin use is simply undefined
> territory at the moment; we make no guarantees. What it does mean is that we
> should ensure it cannot happen using core modules, at least not without some
> kind of notification of the problem.
If only one module can have the margin, then it should be able to cope
without it if it's already used. By extension, a user wishing to use
two such modules should be able to tell which one wins.
Regards,
Achim.
--
+<[Q+ Matrix-12 WAVE#46+305 Neuron microQkb Andromeda XTk Blofeld]>+
SD adaptations for Waldorf Q V3.00R3 and Q+ V3.54R2:
http://Synth.Stromeko.net/Downloads.html#WaldorfSDada
- Re: Better handling of window margins, (continued)
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/06
- Re: Better handling of window margins, Yuri Khan, 2015/12/06
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/06
- Re: Better handling of window margins, Yuri Khan, 2015/12/07
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/07
- Re: Better handling of window margins, John Wiegley, 2015/12/06
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/07
- Re: Better handling of window margins, John Wiegley, 2015/12/07
- Re: Better handling of window margins, Achim Gratz, 2015/12/07
- Re: Better handling of window margins, John Wiegley, 2015/12/07
- Re: Better handling of window margins,
Achim Gratz <=
- Re: Better handling of window margins, Stefan Monnier, 2015/12/07
- Re: Better handling of window margins, John Wiegley, 2015/12/07
- Re: Better handling of window margins, Stefan Monnier, 2015/12/07
- Re: Better handling of window margins, John Wiegley, 2015/12/07
- Re: Better handling of window margins, martin rudalics, 2015/12/04
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/04
- Re: Better handling of window margins, martin rudalics, 2015/12/04
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/04
- Re: Better handling of window margins, martin rudalics, 2015/12/04
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/04