Probably no harm in leaving the search function, in anticipation of more things being added later. Especially if the search allows for results from within the tutorial/snippets.
On Monday, February 6, 2017 at 6:09:24 PM UTC+9, DXsmiley wrote: > > I've made some changes to the layout in order to integrate the new > tutorials and snippets pages. > > I'm uncertain whether we'll have enough content for the search bar on the > snippets / tutorial pages to be useful. It won't be hard to remove it > though. > -- You received this message because you are subscribed to the Google Groups "pyglet-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to pyglet-users+unsubscr...@googlegroups.com. To post to this group, send email to pyglet-users@googlegroups.com. Visit this group at https://groups.google.com/group/pyglet-users. For more options, visit https://groups.google.com/d/optout.
