Daniel Pettersson:

> On 09/23/2012 12:58 PM, hiro wrote:
> >what is that at 1:40 for where suddenly the border is bigger than the window?
> a feature

Yes, more precisely, the window_gap setting is modified in real-time.

Reply via email to