[02:08] <asac> known issue that its hard to grab the border of windows for resizing etc. in precise?
[02:09] <mdeslaur> how come apps have lost the bottom right drag corner?
[02:09] <mdeslaur> asac: ha!
[02:09] <asac> mdeslaur: hello!
[02:09] <asac> howdy?:
[02:09] <asac> mdeslaur: good that i am not alone
[02:09] <mdeslaur> asac: apparently we've had a thought collision :)
[02:09] <asac> that means it might get fixed
[02:10] <asac> yeah. you were lucky. had troubles resizing that terminal ... which i tried to finish before complainig
[02:10] <asac> hehe
[02:10] <asac> but was really really hard
[02:10] <mdeslaur> I'm trying to resize an evince window, and it's driving me insane
[02:11] <mdeslaur> I'll have to bug seb128 monday to figure out why the resize corner has gone missing
[02:13] <asac> feels like the grab area is like 1px or something
[02:14] <mdeslaur> maybe it's this in gtk+3.0:
[02:14] <mdeslaur>  * debian/patches/063_resize_grip_default.patch:
[02:14] <mdeslaur>     - dropped, Cimi said it's not needed and can be done from the theme
[02:15] <asac> ok ... where is the theme fix? :)
[15:51] <desrt> an assertion mystery!
[15:51] <desrt> irresistable!
[15:54] <jalcine> lol, always the best ;)
[15:55] <desrt> crap.  no core file :(