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.
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.