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