Re: [racket-dev] planet bug tracking system spam
I think that if you're using the new pkg system then github is a good way to go for lots of things your pkg has, including bug reports. Robby On Sun, Apr 13, 2014 at 9:49 AM, Stephen De Gabrielle wrote: > Is github now the preferred option for package bug reports? > > Kind regards, > > Stephen > > > On Sunday, 13 April 2014, Robby Findler wrote: >> >> Does anyone else find it has value? >> >> Robby >> >> On Sunday, April 13, 2014, Neil Van Dyke wrote: >>> >>> Can the PLaneT bug-tracking system be shut down, please? >>> >>> (I have never wanted my packages to be in the PLaneT bug-tracking system. >>> It has never been anything for me but counterproductive and annoying. It >>> was not there when I first added my packages to PLaneT. I really-really >>> want to opt-out of it. But maybe whoever maintains it will decide that >>> shutting it down is less work than adding an opt-out feature.) >>> >>> Neil V. >>> >>> _ >>> Racket Developers list: >>> http://lists.racket-lang.org/dev > > > > -- > Sent from Gmail Mobile _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] planet bug tracking system spam
Is github now the preferred option for package bug reports? Kind regards, Stephen On Sunday, 13 April 2014, Robby Findler wrote: > Does anyone else find it has value? > > Robby > > On Sunday, April 13, 2014, Neil Van Dyke > > > wrote: > >> Can the PLaneT bug-tracking system be shut down, please? >> >> (I have never wanted my packages to be in the PLaneT bug-tracking system. >> It has never been anything for me but counterproductive and annoying. It >> was not there when I first added my packages to PLaneT. I really-really >> want to opt-out of it. But maybe whoever maintains it will decide that >> shutting it down is less work than adding an opt-out feature.) >> >> Neil V. >> >> _ >> Racket Developers list: >> http://lists.racket-lang.org/dev >> > -- Sent from Gmail Mobile _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] planet bug tracking system spam
Does anyone else find it has value? Robby On Sunday, April 13, 2014, Neil Van Dyke wrote: > Can the PLaneT bug-tracking system be shut down, please? > > (I have never wanted my packages to be in the PLaneT bug-tracking system. > It has never been anything for me but counterproductive and annoying. It > was not there when I first added my packages to PLaneT. I really-really > want to opt-out of it. But maybe whoever maintains it will decide that > shutting it down is less work than adding an opt-out feature.) > > Neil V. > > _ > Racket Developers list: > http://lists.racket-lang.org/dev > _ Racket Developers list: http://lists.racket-lang.org/dev
[racket-dev] zoom-to-fit-width text in new documentation layout
In the new documentation layout, the zoom-to-fit-width behavior is bad.
I mentioned this before
("http://lists.racket-lang.org/users/archive/2013-November/060480.html";), but
I don't recall hearing any rationale, and it doesn't seem to have changed.
Is this going to be changed, or do I have to write a Greasemonkey script?
Neil V.
_
Racket Developers list:
http://lists.racket-lang.org/dev
[racket-dev] planet bug tracking system spam
Can the PLaneT bug-tracking system be shut down, please? (I have never wanted my packages to be in the PLaneT bug-tracking system. It has never been anything for me but counterproductive and annoying. It was not there when I first added my packages to PLaneT. I really-really want to opt-out of it. But maybe whoever maintains it will decide that shutting it down is less work than adding an opt-out feature.) Neil V. _ Racket Developers list: http://lists.racket-lang.org/dev
