--
You received this message because you are subscribed to the Google Groups "Play framework dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email to play-framework-...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Hi James,Actually, Will set that up a while ago. That's what the search at the top of the current docs uses. I guess we didn't do a great job publicising it though...Greg
On Thu, May 26, 2016 at 11:36 PM, James Roper <ja...@lightbend.com> wrote:
Hey all,Have we considered using Algolia docsearch for the Play docs?Akka is using it, check it out:
--
You received this message because you are subscribed to the Google Groups "Play framework dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email to play-framework-dev+unsub...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Actually also there is no way (yet) to know if you click on a Java API instead of a Scala API
Am Freitag, 27. Mai 2016 10:46:59 UTC+2 schrieb Julien L.:
Just a little feedback about this integration: It's no longer possible to open a search result in a new tab... rather annoying.
On Friday, May 27, 2016 at 8:49:00 AM UTC+2, Greg Methvin wrote:
Hi James,Actually, Will set that up a while ago. That's what the search at the top of the current docs uses. I guess we didn't do a great job publicising it though...Greg
On Thu, May 26, 2016 at 11:36 PM, James Roper <ja...@lightbend.com> wrote:
Hey all,Have we considered using Algolia docsearch for the Play docs?Akka is using it, check it out:
--
You received this message because you are subscribed to the Google Groups "Play framework dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email to play-framework-...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Just a little feedback about this integration: It's no longer possible to open a search result in a new tab... rather annoying.
On Friday, May 27, 2016 at 8:49:00 AM UTC+2, Greg Methvin wrote:
Hi James,Actually, Will set that up a while ago. That's what the search at the top of the current docs uses. I guess we didn't do a great job publicising it though...Greg
On Thu, May 26, 2016 at 11:36 PM, James Roper <ja...@lightbend.com> wrote:
Hey all,Have we considered using Algolia docsearch for the Play docs?Akka is using it, check it out:
--
You received this message because you are subscribed to the Google Groups "Play framework dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email to play-framework-...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.