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.
Received on Sun Sep 23 2012 - 15:43:21 CEST
This archive was generated by hypermail 2.3.0
: Sun Sep 23 2012 - 15:48:08 CEST