12/06/14 00:12, Alan wrote: > Hi, > > On Wed, 11 Jun 2014 19:37:04 +0200 > intrigeri <[email protected]> wrote: >> anonym wrote (11 Jun 2014 15:40:13 GMT) : >>> 10/06/14 22:01, intrigeri wrote: >> >>>> Regarding #7382 ("Customized icon are way too small in the >>>> applications menu"), I'm a bit surprised it's not a blocker. >> > [...] >> >> Fair enough. >> > I can have a look at this bug, which is likely not too hard to solve. > Would you please move the ticket to the 1st phase and assign it to me?
Done, assuming you mean #6342. > [...] >> The visual impact is indeed pretty small in our threat model for this >> feature. Also, fixing this likely requires patching the >> window-picker-applet. So, I'm not sure we should block on this, even >> if it would be great to see it fixed between now and the end of the >> month (doesn't sound *that* crazy, does it? a bug should be reported >> upstream ASAP, anyway, if we want to have a chance to see it fixed in >> time, without writing the patch ourselves). >> > I don't think I'm able to tackle it and consider its impact only > moderately annoying. Agreed. I may have a look if I at some point want to procrastinate together with dbg and friends. Cheers! _______________________________________________ Tails-dev mailing list [email protected] https://mailman.boum.org/listinfo/tails-dev To unsubscribe from this list, send an empty email to [email protected].
