|
From: | Dmitry Gutov |
Subject: | bug#29279: Sharing the margins |
Date: | Sun, 19 Nov 2017 11:20:55 +0200 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:57.0) Gecko/20100101 Thunderbird/57.0 |
Hi Joost! On 11/19/17 2:47 AM, Joost Kremers wrote:
So if I understand correctly what you're talking about, I don't really care whether the margins are padded on the right or the left, because I have nothing in the margins, so I wouldn't be able to tell.I know from user feedback that people do use writeroom-mode with e.g., (n)linum-mode, or other packages that display stuff in the margins. Among them, some want whatever is being displayed in the margins to be close to the text, while other want it at the edge of the screen.So, *if* I'm understanding the issue correctly, it would be best if the padding side were user-configurable. If that's not an option, either side will do, because there doesn't seem to be any clear preference either way.
That's what we've been wondering about. Thanks!
[Prev in Thread] | Current Thread | [Next in Thread] |