search

jarvisteach / appJar

Simple Tkinter GUIs in Python
http://appJar.info
Other
615 stars 68 forks source link

Docs Website Search Menu is Flakey #509

Closed robertmlinden closed 6 years ago

robertmlinden commented 6 years ago

Not sure if this has been brought up yet, but wanted to give my take on it.

The search bar on the docs site is EXTREMELY useful (even considering how neat and navigable the site is). However, it almost never works, even with great internet connectivity. It just hangs; no results appear. Sometimes it works, but I can't tell you when or why.

jarvisteach commented 6 years ago

The docs site is all written in markdown, and then built using mkdocs - searching is a built in feature, so I don't even know where to begin resolving this!

According to this mkdocs uses lunar.js, so it looks like it should be quite a robust plugin. I've never had any issues in my dev environment, and although I think I have seen what you describe a couple of times on the live site, I'd need some kind of error message to know where to start.

Next time you see this, if you could inspect the page, and check the error logs - maybe there's a missing JS file?

robertmlinden commented 6 years ago

I'm having no problems with Chrome now, the problem seems to be with Microsoft Edge!

jarvisteach commented 6 years ago

Going to close this - there may well be an issue with Edge & MkDocs search - but it will be upstream with MkDocs - and the next release will be using a newer version, so it may have been resolved.